Satz 7.9
Kurs:Riemannsche Flächen (Osnabrück 2022)/Vorlesung 7 Mannigfaltigkeit/Fundamentalgruppe/Einfach zusammenhängende Überlagerung/Decktransformationsgruppe/Fakt