Theorem MeasureTheory.SimpleFunc.smul_apply

Modification history