exact ((UniformOnFun.uniformContinuous_eval_of_mem ℂ (compacts U)
  (mem_singleton z) ⟨singleton_subset_iff.2 (hK.1 hz), isCompact_singleton⟩).continuous)
case h.h
U : Set ℂ
Q : Set ℂ → Set ℂ
ι : Type u_1
l : Filter ι
hU : IsOpen U
hQ : ∀ K ∈ compacts U, IsCompact (Q K)
K : Set ℂ
hK : K ∈ compacts U
z : ℂ
hz : z ∈ K
⊢ Continuous fun x => x z
no goals