@misc{indiciae8a4968af0241,
  title = {A preliminary univalent formalization of the p-adic numbers},
  author = {Álvaro Pelayo and Vladimir Voevodsky and Michael A. Warren},
  year = {2013},
  url = {https://arxiv.org/abs/1302.1207},
  note = {Source identifier: 1302.1207}
}