∀ {E : Type u_1} [inst : NormedAddCommGroup E] [inst_1 : NormedSpace ℂ E] {R : ℝ},
  0 < R →
    ∀ {f : ℂ → E} {z w : ℂ},
      ContinuousOn f (Metric.sphere z R) → w ∈ Metric.ball z R → Continuous (Complex.circleTransform R z w f)