Start=Kodimension (vr)

MDLUL/Kodimension (vr)

Ziel=Vektorraum/Untervektorraum/Kodimension/Definition