Kurs:Algebraische Kurven/Kommutative Monoidringe/Funktorialität im Monoid/Surjektivität/Fakt/Faktreferenznummer

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