Theorem MeasureTheory.integral_simpleFunc_larger_space

Modification history