Linear Algebra: Finite-Dimensional Vector Spaces