Theorem MeasureTheory.Lp.simpleFunc.toSimpleFunc_indicatorConst

Modification history