The dimension of the domain of an injective linear transformation is at most the dimension of the codomain.

Created almost 9 years ago