Theorem MeasureTheory.measure_smul

Modification history