Theorem MeasureTheory.OuterMeasure.restrict_trim

Modification history