MDLUL/normal (Monoid)

Start=normal (Monoid)

MDLUL/normal (Monoid)

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