src/HOL/Analysis/Equivalence_Lebesgue_Henstock_Integration.thy
changeset 82909 e4fae2227594
parent 82859 81400a301993