Theorem MeasureTheory.integral_trim_simpleFunc

Modification history