MDLUL/Normalisierung (Monoid)

Start=Normalisierung (Monoid)

MDLUL/Normalisierung (Monoid)

Ziel=Kommutative Monoidtheorie/Normalisierung in Differenzengruppe und normal/Definition