Theorem MeasureTheory.SimpleFunc.mul_apply

Modification history