Finite-dimensional vector space

Summary