MDLUL/Kürzungsregel (Monoid)

Start=Kürzungsregel (Monoid)

MDLUL/Kürzungsregel (Monoid)

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