Theorem MeasureTheory.Integrable.prod_smul

Modification history