∀ {α : Type u_1} {m : MeasurableSpace α} {M : Type u_3} [inst : AddCommGroup M] [inst_1 : TopologicalSpace M]
  [inst_2 : IsTopologicalAddGroup M] (v : MeasureTheory.VectorMeasure α M) (i : Set α), ↑(-v) i = -↑v i