@misc{indiciae3d82739dad02,
  title = {Formalizing the Ring of Adèles of a Global Field},
  author = {María Inés de Frutos-Fernández},
  year = {2022},
  url = {https://arxiv.org/abs/2203.16344},
  note = {Source identifier: 2203.16344}
}