∀ {F : Type u_1} {α : outParam (Type u_2)} {β : outParam (Type u_3)} {inst : TopologicalSpace α}
  {inst_1 : TopologicalSpace β} {inst_2 : FunLike F α β} [self : CocompactMapClass F α β] (f : F),
  Filter.Tendsto (⇑f) (Filter.cocompact α) (Filter.cocompact β)