Summary
- more new theorems on real^1, matrices, etc.
The file was modified | src/HOL/Analysis/Cartesian_Euclidean_Space.thy (diff) |
The file was modified | src/HOL/Analysis/Determinants.thy (diff) |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Ordered_Euclidean_Space.thy (diff) |