simpa
E : Type u_1
inst✝¹ : NormedAddCommGroup E
inst✝ : NormedSpace ℂ E
f g : ℂ → E
z w p c A : ℂ
x x₁ x₂ y y₁ y₂ σ : ℝ
h : EqOn f g (RectangleBorder z w)
x✝¹ : ℝ
x✝ : x✝¹ ∈ [[z.im, w.im]]
⊢ ↑w.re + ↑x✝¹ * I ∈ im ⁻¹' [[z.im, w.im]]
no goals