∀ {G : Type u_1} {X : Type u_3} [inst : TopologicalSpace X] [inst_1 : TopologicalSpace G] [inst_2 : Inv G]
  [ContinuousInv G] {f : X → G} {x : X}, ContinuousAt f x → ContinuousAt (fun x => (f x)⁻¹) x