Theorem MeasureTheory.Lp.simpleFunc.norm_toSimpleFunc

Modification history