Theorem MeasureTheory.SimpleFunc.restrict_lintegral

Modification history