Satz 6.7
Kurs:Singularitätentheorie (Osnabrück 2019)/Vorlesung 6 Kommutative Monoidringe/Universelle Eigenschaft für R-Algebren mit Monoidabbildung/Fakt