Theorem MeasureTheory.iSup_lintegral_measurable_le_eq_lintegral

Modification history