Lemma 30.3 Kurs:Kommutative Algebra/Teil I/Vorlesung 30
Kommutativer Ring/Projektiver Modul/Universell und direkter Summand/Fakt
