Definition of dimension of a vector space (or subspace), coordinate vector space

math.la.d.vsp.dim.coord