MDLUL/normales Monoid

Start=normales Monoid

MDLUL/normales Monoid

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