The dimension of the domain of a surjective linear transformation is at least the dimension of the codomain.

Created almost 9 years ago