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

The composition of invertible linear transformations is invertible

Created over 8 years ago