Theorem MeasureTheory.snorm'_le_snorm'_mul_rpow_measure_univ

Modification history