Satz 13.2
Kurs:Elliptische Kurven (Osnabrück 2021-2022)/Vorlesung 13 Glatte Kurven/Algebraisch abgeschlossen/Morphismus/Endlich/Gradkonstanz/Fakt