Theorem Module.End.mapsTo_restrict_maxGenEigenspace_restrict_of_mapsTo

Modification history