TY  - RPRT
TI  - Formalising the local compactness of the adele ring
AU  - Salvatore Mercuri
PY  - 2025
DO  - 10.46298/afm.14840
UR  - https://arxiv.org/abs/2405.19270
ID  - 2405.19270
ER  -