Theorem Module.End.mapsTo_maxGenEigenspace_of_comm

Modification history