Topology_of_compact_convergence loading ...