Lemma 24.2
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 24 Gitter/Basis/Übergang/Fakt