[[!redirects πn(Sn) in Homotopy Type Theory]] [[!redirects $\pi_n(S^n)$ in Homotopy Type Theory]] < [[nlab:homotopy type theory - references]] category: redirected to nlab