Theorem MeasureTheory.SimpleFunc.lintegral_eq_of_subset'

Modification history