Theorem MeasureTheory.SimpleFunc.integral_smul

Modification history