Kurs:Riemannsche Flächen/Komplex-projektive Gerade/Divisorenklassengruppe/Z/Fakt/Faktreferenznummer

Satz 19.18 (Riemannsche Flächen (Osnabrück 2022))