MDLD/finite dimension (vs)

Start=finite dimension (vs) Target=Vector space/Finitely generated/Dimension/Definition