Summary
- added lemma
- removed subsumed lemma
- too agressive
- added lemmas
The file was modified | src/HOL/Library/Extended_Nat.thy (diff) |
The file was modified | src/HOL/Analysis/Convex.thy (diff) |
The file was modified | src/HOL/Groups_Big.thy (diff) |
The file was modified | src/HOL/Library/Extended_Nat.thy (diff) |
The file was modified | src/HOL/Library/Extended_Nat.thy (diff) |