Zum Inhalt springen

MDLUL/spitze (Monoid)