Theorem MeasureTheory.Measure.OuterRegular.of_restrict

Modification history