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

Equivalence theorem for injective linear transformations: The image of a basis for V is a basis for the range of T.

Put content here.