Theorem MeasureTheory.lintegral_trim

Modification history