Theorem MeasureTheory.SimpleFunc.setToSimpleFunc_smul_real

Modification history