Lemma 23.4
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 23 Nenneraufnahme/Flacher Modul/Fakt
