Definition of multiplicity of an eigenvalue

math.la.d.mat.eig.multiplicity