Theorem MeasureTheory.Lp.const_smul_mem_Lp

Modification history