src/HOL/Analysis/Vitali_Covering_Theorem.thy
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