[[!redirects compact connected space]] < [[nlab:compact connected space]] category: redirected to nlab