Start=endlich (Modul)

MDLUL/endlich (Modul)

Ziel=Modultheorie/Endlicher_Modul/Definition