Theorem MeasureTheory.Lp.simpleFunc.coe_indicatorConst

Modification history