Theorem MeasureTheory.SimpleFunc.lintegral_finset_sum

Modification history