MDLD/finite-dimensional (vs)

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