Lemma 48.12
Kurs:Kommutative Algebra/Teil II/Vorlesung 48
Modul/Exakter Komplex und injektive Auflösung/Homotopie/Fakt