Theorem MeasureTheory.VectorMeasure.restrict_eq_self

Modification history