∀ {R : Type u_1} {M : Type u_3} {X : Type u_4} [inst : AddMonoid M] {S : AddSubmonoid M}
  [inst_1 : AddOreLocalization.AddOreSet S] [inst_2 : AddAction M X] [inst_3 : VAdd R X] [inst_4 : VAdd R M]
  [inst_5 : VAddAssocClass R M M] [inst_6 : VAddAssocClass R M X] [inst_7 : VAdd Rᵃᵒᵖ M] [inst_8 : VAdd Rᵃᵒᵖ X]
  [inst_9 : VAddAssocClass Rᵃᵒᵖ M M] [inst_10 : VAddAssocClass Rᵃᵒᵖ M X] [IsCentralVAdd R M],
  IsCentralVAdd R (AddOreLocalization S X)