Formalising the Local Compactness of the Adele Ring

From MaRDI portal

MaRDI QIDQ6730637arXivFDO

Authors Salvatore Mercuri

Publication date 2024

Published in arXiv


arXiv classification

cs.LO















This page was built for publication: Formalising the Local Compactness of the Adele Ring

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6730637)

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Formalising_the_Local_Compactness_of_the_Adele_Ring&oldid=105836651"
Powered by MediaWiki