Theorem MeasureTheory.L1.SimpleFunc.setToL1S_eq_setToSimpleFunc

Modification history