Theorem MeasureTheory.Lp.simpleFunc.toLp_smul

Modification history