Theorem MeasureTheory.SimpleFunc.integral_eq_sum

Modification history