Theorem MeasureTheory.SimpleFunc.integral_eq_sum_of_subset

Modification history