Theorem MeasureTheory.SimpleFunc.restrict_lintegral_eq_lintegral_restrict

Modification history