Satz 7.10
Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 7 Endliche Gruppe/Fixpunktfreie Operation/Hausdorffraum und einfach zusammenhängend/Überlagerung und Fundamentalgruppe/Fakt