Theorem Module.End.iSup_iInf_maxGenEigenspace_eq_top_of_forall_mapsTo

Modification history