Theorem MeasureTheory.Lp_toLp_restrict_smul

Modification history