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

A linear transformation is surjective if and only if the rank equals the dimension of the codomain.

Put content here.