Update vector-space.tex