Formalizing the Ring of Ad\`eles of a Global Field
From MaRDI portal
Publication:6395156
arXiv2203.16344MaRDI QIDQ6395156
María Inés de Frutos-Fernández
Publication date: 6 March 2022
This page was built for publication: Formalizing the Ring of Ad\`eles of a Global Field
