[[!redirects Calculating the fundamental group of the circle in homotopy type theory]] < [[nlab:homotopy type theory - references]] category: redirected to nlab