Theorem MeasureTheory.Integrable.smul_prod

Modification history