Lemma 12.6
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 12 Kähler-Differentiale/Nenneraufnahme/Fakt