Lemma 4.8
Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 4 Ebene projektive Kurve/Körper/Y^n ist F(X)/Glattheit/Fakt