Theorem MeasureTheory.Lp.simpleFunc.toLp_neg

Modification history