Theorem MeasureTheory.VectorMeasure.trim_measurableSet_eq

Modification history