no goals
E : Type u
inst✝² : NormedAddCommGroup E
inst✝¹ : NormedSpace ℂ E
inst✝ : CompleteSpace E
R : ℝ
c w : ℂ
s : Set ℂ
hs : Set.Countable s
hw : w ∈ ball c R
f : ℂ → ℂ
hc : ContinuousOn f (closedBall c R)
hd : ∀ (z : ℂ), z ∈ ball c R \ s → DifferentiableAt ℂ f z
⊢ (∮ (z : ℂ) in C(c, R), f z / (z - w)) = 2 * ↑π * I * f w
simpa only [smul_eq_mul, div_eq_inv_mul] using
  circleIntegral_sub_inv_smul_of_differentiable_on_off_countable hs hw hc hd