Theorem MeasureTheory.Measure.InnerRegular.innerRegularWRT_isClosed_isOpen

Modification history