Theorem MeasureTheory.SimpleFunc.lintegral_restrict

Modification history