A formalization of Dedekind domains and class groups of global fields. - Anne Baanen; Sander R. Dahmen; Ashvni Narayanan; Filippo A. E. Nuccio (CoRR, 2021)