Theorem Module.End.iSup_maxGenEigenspace_eq_top

Modification history