Lemma 15.10 Kurs:Kommutative Algebra/Teil I/Vorlesung 15
Kommutative Ringtheorie/Multiplikatives System/Paare/Äquivalenzrelation/Wohldefiniertheit/Fakt