Start=Kürzungsregel

MDLUL/Kürzungsregel

Ziel=Kommutative_Monoidtheorie/Monoid_mit_Kürzungsregel/Definition