Theorem MeasureTheory.exists_lt_lintegral_simpleFunc_of_lt_lintegral

Modification history