Satz 27.6
Kurs:Invariantentheorie (Osnabrück 2012-2013)/Vorlesung 27 Endliche Gruppe/Fixpunktfreie Operation/Hausdorffraum und einfach zusammenhängend/Überlagerung und Fundamentalgruppe/Fakt