∀ {G : Type w} {α : Type u} [inst : TopologicalSpace G] [inst_1 : Group G] [IsTopologicalGroup G]
  [inst_3 : TopologicalSpace α] {f : α → G} {x : α} {s : Set α},
  ContinuousWithinAt f s x → ∀ (z : ℤ), ContinuousWithinAt (fun x => f x ^ z) s x