[[!redirects On the homotopy groups of spheres in homotopy type theory]] < [[nlab:On the homotopy groups of spheres in homotopy type theory]] category: redirected to nlab