MDLUL/Monoid mit Kürzungsregel

Start=Monoid mit Kürzungsregel

MDLUL/Monoid mit Kürzungsregel

Ziel=Kommutative Monoidtheorie/Monoid mit Kürzungsregel/Definition