Now you are in the subtree of Container for Linear Algebra project. 

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

Put content here.