Theorem MeasureTheory.Lp.simpleFunc.coe_smul

Modification history