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

The dimension of a eigenspace is less than or equal to the (algebraic) multiplicity of the eigenvalue.

Put content here.