Theorem MeasureTheory.VectorMeasure.trim_eq_self

Modification history