Satz 9.3
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 9 Kontrahierbarer Raum/Fundamentalgruppe/Fakt