MDLUL/endlich erzeugt (Gruppe)

Start=endlich erzeugt (Gruppe)

MDLUL/endlich erzeugt (Gruppe)

Ziel=Gruppe/Endlich_erzeugt/Definition