Minkowskis_Theorem

MaRDI QIDQ5973096swMATHFDO

Official website https://www.isa-afp.org/entries/Minkowskis_Theorem.html

Cited in

(3)

• KANT/KASH
• A formalization of Dedekind domains and class groups of global fields
• Gaussian_Integers

This page was built for software: Minkowskis_Theorem