MDLUL/Vektorraumdimension

Start=Vektorraumdimension

MDLUL/Vektorraumdimension

Ziel=Vektorraum/Endlich erzeugt/Dimension/Definition