Theorem MeasureTheory.VectorMeasure.restrict_univ

Modification history