∀ {F : Type u_1} {β : Type u_3} {γ : Type u_4} [inst : UniformSpace β] [inst_1 : UniformSpace γ] [inst_2 : Zero γ]
  [inst_3 : FunLike F β γ] [CompactlySupportedContinuousMapClass F β γ] (f : F), UniformContinuous ⇑f