MDLUL/endlichdimensionaler Vektorraum

Start=endlichdimensionaler Vektorraum

MDLUL/endlichdimensionaler Vektorraum

Ziel=Vektorraum/Endlich_erzeugt/Dimension/Definition