Lemma 9.5
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 9 Positiv graduierte Algebra/C/Kontrahierbar/Triviale Fundamentalgruppe/Fakt