Lemma 23.6
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 23 Kommutativer Ring/Lokal/Projektiver Modul/Frei/Fakt