[[!redirects rationalization of a simply connected type]] < [[nlab:rationalization]] category: redirected to nlab