Theorem MeasureTheory.SimpleFunc.lintegral_smul

Modification history