Prove that sequentially compact implies compact
Move basic vector spaces up through definition of dimension from fdvses.md to dim.md
Move the construction for vector space of scalar-valued functions to dim.md
Move content from fdvses into new pages. linear_maps.md and subspaces.md. move quotient spaces from tensors to subspaces.md