Summary
- tidying ugly proofs
The file was modified | src/HOL/Algebra/Coset.thy (diff) |
The file was modified | src/HOL/Algebra/Lattice.thy (diff) |
The file was modified | src/HOL/Algebra/Coset.thy (diff) |
The file was modified | src/HOL/Algebra/Lattice.thy (diff) |