Start=Monoidring

MDLUL/Monoidring

Ziel=Kommutative_Ringtheorie/Monoidringe/Definition