∀ {α : Type u_1} [inst : TopologicalSpace α] {f g : α → ℂ} {s : Set α} {a : α},
  ContinuousWithinAt f s a →
    ContinuousWithinAt g s a → f a ∈ Complex.slitPlane → ContinuousWithinAt (fun x => f x ^ g x) s a