Summary
- tuning of a proof
- merged
- some simpler, cleaner proofs
The file was modified | src/HOL/Analysis/Homeomorphism.thy (diff) |
The file was modified | src/HOL/Algebra/Divisibility.thy (diff) |
The file was modified | src/HOL/Algebra/Order.thy (diff) |
The file was modified | src/HOL/Analysis/Fashoda_Theorem.thy (diff) |