Kommutative Monoidringe/Funktorialität im Monoid/Fakt Beweis (ohne universeller Eigenschaft)

Seiteninhalte werden in anderen Sprachen nicht unterstützt.
Aus Wikiversity