Theorem MeasureTheory.OuterMeasure.mkMetric'.eq_iSup_nat

Modification history