Lemma 21.6
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 21 Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt