Theorem Module.End.mapsTo_unifEigenspace_of_comm

Modification history