Theorem MeasureTheory.smul_extend

Modification history