Lemma 22.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 22 Varietät/Glatter Punkt/Selbstprodukt/Beschreibung der Diagonalen/Fakt