Theorem MeasureTheory.OuterMeasure.restrict_supᵢ

Modification history