Theorem MeasureTheory.SimpleFunc.const_lintegral_restrict

Modification history