Lemma 20.4
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 20 Kommutative Ringe/Restklassendarstellung/Tensorprodukt/Fakt