Start=spitzes Monoid

MDLUL/spitzes Monoid

Ziel=Kommutatives Monoid/Spitz/Definition