Formalizing the Ring of Adèles of a Global Field | Publicación