Minkowskis_Theorem

swMATH44478MaRDI QIDQ5973096FDOQ5973096

Author name not available (Why is that?)

Cited In (1)

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

This page was built for software: Minkowskis_Theorem