Summary
- getting rid of more "defer", etc.
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Fashoda_Theorem.thy (diff) |
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Fashoda_Theorem.thy (diff) |