TY  - RPRT
TI  - A formalization of Dedekind domains and class groups of global fields
AU  - Anne Baanen
AU  - Sander R. Dahmen
AU  - Ashvni Narayanan
AU  - Filippo A. E. Nuccio
PY  - 2022
UR  - https://arxiv.org/abs/2102.02600
ID  - 2102.02600
ER  -