Lemma 30.2 Kurs:Kommutative Algebra/Teil I/Vorlesung 30
Kommutativer Ring/Freier Modul/Ist projektiv/Fakt
