Summary
- three new theorems
The file was modified | src/HOL/Analysis/Brouwer_Fixpoint.thy (diff) |
The file was modified | src/HOL/Analysis/Change_Of_Vars.thy (diff) |
The file was modified | src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy (diff) |
The file was modified | src/HOL/Analysis/Vitali_Covering_Theorem.thy (diff) |