Kurs:Algebraische Kurven/Ebene algebraische Kurve/Glatter Punkt/Lokaler Ring ist diskreter Bewertungsring/Fakt/Faktreferenznummer

Lemma 23.3 (Algebraische Kurven (Osnabrück 2017-2018))