Satz 10.17
Kurs:Algebraische Zahlentheorie (Osnabrück 2020-2021)/Vorlesung 10 Diskrete Bewertungsringe/Charakterisierung/1/Fakt