Summary
- merged
- Algebra tidy-up
The file was modified | src/HOL/Algebra/FiniteProduct.thy (diff) |
The file was modified | src/HOL/Algebra/Group.thy (diff) |
The file was modified | src/HOL/Algebra/Ideal.thy (diff) |
The file was modified | src/HOL/Number_Theory/Residues.thy (diff) |