∀ {F : Type u_1} {β : Type u_3} {γ : Type u_4} [inst : TopologicalSpace β] [inst_1 : TopologicalSpace γ]
  [inst_2 : Zero γ] [inst_3 : FunLike F β γ] [CompactlySupportedContinuousMapClass F β γ],
  ZeroAtInftyContinuousMapClass F β γ