Lemma 9.13
Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 9 Riemannsche Fläche/Endliche Abbildung/Decktransformationsgruppe/Außerhalb diskreter Teilmenge/Fakt