Summary
- Removal of duplicate code
- Two new theorems
The file was modified | src/HOL/Groups_Big.thy (diff) |
The file was modified | src/HOL/Analysis/Weierstrass_Theorems.thy (diff) |
The file was modified | src/HOL/Binomial.thy (diff) |
The file was modified | src/HOL/Groups_Big.thy (diff) |