Theorem MeasureTheory.Lp.simpleFunc.toSimpleFunc_eq_toFun

Modification history