Minkowskis_Theorem

swMATH44478MaRDI QIDQ5973096FDOQ5973096

Author name not available (Why is that?)

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

Cited In (2)

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

This page was built for software: Minkowskis_Theorem