Theorem MeasureTheory.VectorMeasure.ext_iff'

Modification history