Theorem MeasureTheory.indicatorConstLp_univ

Modification history