Dimension of a vector space

Summary