Formalizing the ring of adèles of a global field
From MaRDI portal
Publication:6572549
DOI10.4230/lipics.itp.2022.14MaRDI QIDQ6572549
María Inés de Frutos-Fernández
Publication date: 15 July 2024
This page was built for publication: Formalizing the ring of adèles of a global field