Theorem MeasureTheory.OuterMeasure.sInf_apply'

Modification history