Theorem MeasureTheory.SimpleFunc.lintegral_eq_lintegral

Modification history