A rigorous proof course on vector spaces, linear systems, linear transformations, matrix representations, eigenspaces, and diagonalization.