have : Tendsto id (𝓝[≠] (0 : ℂ)) (𝓝 0) := nhdsWithin_le_nhds
ι : Type u_1
α : Type u_2
β : Type u_3
U : Set ℂ
c z₀ : ℂ
r : ℝ
f g : ℂ → ℂ
⊢ TendstoUniformlyOn (fun ε z => g z + ε) g (𝓝[≠] 0) U
ι : Type u_1
α : Type u_2
β : Type u_3
U : Set ℂ
c z₀ : ℂ
r : ℝ
f g : ℂ → ℂ
this : Tendsto id (𝓝[≠] 0) (𝓝 0)
⊢ TendstoUniformlyOn (fun ε z => g z + ε) g (𝓝[≠] 0) U