Theorem MeasureTheory.Lp.simpleFunc.zero_toSimpleFunc

Modification history