linalg2: tweak wording for statement of lemma on bases of the image of a linear map
linalg2: define coordinate system on a vector space
linalg2: modify the definition of coordinate systems. We now just prove that every ordered basis induces a coordinate system and vice versa.