Theorem MeasureTheory.L1.SimpleFunc.integral_L1_eq_integral

Modification history