Theorem MeasureTheory.Lp.indicatorConstLp_compMeasurePreserving

Modification history