Lemma 14.13
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 14 Polynomring/n Polynome/Ableitungen/Differentialmodul/Fakt