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