Theorem Module.End.isNilpotent_restrict_genEigenspace_top

Modification history