MDLD/finite-dimensional (fgvs)

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