src/HOL/Analysis/Vitali_Covering_Theorem.thy
12 months ago Angeliki KoutsoukouArgyraki 2018-08-28 tagged 21 theories in the Analysis library for the manual
17 months ago paulson 2018-04-20 three new theorems
17 months ago paulson 2018-04-17 Change of variables proof
17 months ago paulson 2018-04-17 Vitali covering theorem