∀ (G : Type u_1) [inst : AddGroup G] [inst_1 : TopologicalSpace G] [inst_2 : IsTopologicalAddGroup G],
  UniformEquiv.neg G = { toEquiv := Equiv.neg G, uniformContinuous_toFun := ⋯, uniformContinuous_invFun := ⋯ }