@misc{indiciae36017d089984,
  title = {The equivalence of the torus and the product of two circles in homotopy type theory},
  author = {Kristina Sojakova},
  year = {2015},
  url = {https://arxiv.org/abs/1510.03918},
  note = {Source identifier: 1510.03918}
}