Satz 22.17
Kurs:Zahlentheorie (Osnabrück 2025)/Vorlesung 22 Diskrete Bewertungsringe/Charakterisierung/1/Fakt
