Kurs:Algebraische Kurven/Kommutative Ringtheorie/K-Spektrum/Produktring/Fakt/Faktreferenznummer

Lemma 13.12 (Algebraische Kurven (Osnabrück 2017-2018))