Describir: Finite-dimensional vector spaces