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