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

Created over 8 years ago

Put content here.