Theorem MeasureTheory.Integrable.smul_of_top_right

Modification history