simp [← tendsto_𝓒_iff hU, Tendsto]
case refine_1
U : Set ℂ
Q : Set ℂ → Set ℂ
ι : Type u_1
l : Filter ι
hU : IsOpen U
f : 𝓒 U
hf : ClusterPt f (𝓟 (𝓗 U))
⊢ TendstoLocallyUniformlyOn id f (𝓝 f ⊓ 𝓟 (𝓗 U)) U
no goals