Theorem Module.End.unifEigenspace_le_unifEigenspace_maxUnifEigenspaceIndex

Modification history