Korollar 17.6
Kurs:Algebraische Kurven (Osnabrück 2017-2018)/Vorlesung 17 Kommutative Monoidringe/Funktorialität im Monoid/Fakt