Satz 25.6
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 25 Zahlbereich/Gitter-Einbettung/Diskriminante und Grundmasche/Fakt