Theorem MeasureTheory.SimpleFunc.restrict_const_lintegral

Modification history