Theorem MeasureTheory.Memℒp.const_mul

Modification history