Theorem MeasureTheory.Lp.simpleFunc.sub_toSimpleFunc

Modification history