Lemma 6.10
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 6 Kommutative Monoidringe/Funktorialität im Monoid/Surjektivität/Fakt