Theorem MeasureTheory.Integrable.smul

Modification history