The dimension of a subspace is less than or equal to the dimension of the whole space

Created almost 9 years ago