Lemma 22.5
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 22 Varietät/Diagonale/Abgeschlossene Einbettung/Fakt
