TY  - RPRT
TI  - The Hurewicz theorem in Homotopy Type Theory
AU  - J. Daniel Christensen
AU  - Luis Scoccola
PY  - 2023
DO  - 10.2140/agt.2023.23.2107
UR  - https://arxiv.org/abs/2007.05833
ID  - 2007.05833
ER  -