Theorem MeasureTheory.VectorMeasure.restrict_trim

Modification history