Theorem MeasureTheory.lpMeasToLpTrim_smul

Modification history