Theorem MeasureTheory.L1.SimpleFunc.integral_eq_integral

Modification history