Compact_topological_space loading ...