Lemma 23.18
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 23 Lokaler Ring/Endliche freie Auflösung/Direkter Summand/Fakt
