Theorem MeasureTheory.OuterMeasure.mkMetric'.trim_pre

Modification history