[[!redirects Eilenberg-MacLane Spaces in Homotopy Type Theory]] < [[nlab:Eilenberg-MacLane Spaces in Homotopy Type Theory]] category: redirected to nlab