Lemma 22.3
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 22 Untervarietät/Lokal durch Funktionen/Schnittverhalten/Fakt