MDLUL/schwache Höhenfunktion (Gruppe)

Start=schwache Höhenfunktion (Gruppe)

MDLUL/schwache Höhenfunktion (Gruppe)

Ziel=Kommutative Gruppe/Schwache Höhenfunktion/Definition