MDLD/dimensions (vs)

Start=dimensions (vs) See=dimension (vs)
MDLD/dimension (vs)
Target=Vector space/Finitely generated/Dimension/Definition