Theorem MeasureTheory.lintegral_eq_iSup_eapprox_lintegral

Modification history