Theorem Module.End.unifEigenspace_top_eq_maxUnifEigenspaceIndex

Modification history