Satz 9.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 9 ADE/Zweidimensional/Fixpunktfreie Operation/Lokale Fundamentalgruppe/Fakt