Summary
- more lemmas by Gouezele
- move lemmas by Gouezel to distribution
The file was modified | src/HOL/Library/Extended_Nonnegative_Real.thy (diff) |
The file was modified | src/HOL/Library/Extended_Real.thy (diff) |
The file was modified | src/HOL/Orderings.thy (diff) |
The file was modified | src/HOL/Library/Extended_Nonnegative_Real.thy (diff) |