Theorem Module.End.isNilpotent_restrict_maxGenEigenspace_sub_algebraMap

Modification history