Theorem Module.End.genEigenspace_top_eq_maxUnifEigenspaceIndex

Modification history