Theorem MeasureTheory.OuterMeasure.trim_mkMetric

Modification history