[[!redirects Higher-Dimensional Types in the Mechanization of Homotopy Theory]] < [[nlab:Higher-Dimensional Types in the Mechanization of Homotopy Theory]] category: redirected to nlab