Aufgabe 22.12
Kurs:Algebraische Kurven (Osnabrück 2008)/Vorlesung 22 Diskreter Bewertungsring/Ordnungsfunktion/Erste Eigenschaften/Fakt/Beweis/Aufgabe
