wiki/concepts/finite_dimensional_vector_space.md history