Create VectorSpaces-definitions.tex