Theorem MeasureTheory.OuterMeasure.trim_eq_iInf

Modification history