MDLD/vector spaces

Start=vector spaces See=vector space
MDLD/vector space
Target=Vector space/Direct/Definition