∀ {α : Type u_1} {m : MeasurableSpace α} {M : Type u_4} {N : Type u_5} [inst : AddCommMonoid M]
  [inst_1 : TopologicalSpace M] [inst_2 : AddCommMonoid N] [inst_3 : TopologicalSpace N]
  (v : MeasureTheory.VectorMeasure α N), MeasureTheory.VectorMeasure.AbsolutelyContinuous 0 v