Satz 9.6
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 9 Endliche Gruppe/Fixpunktfreie Operation/Hausdorffraum und einfach zusammenhängend/Überlagerung und Fundamentalgruppe/Fakt