TY  - RPRT
TI  - The equivalence of the torus and the product of two circles in homotopy type theory
AU  - Kristina Sojakova
PY  - 2015
UR  - https://arxiv.org/abs/1510.03918
ID  - 1510.03918
ER  -