Theorem Module.End.isNilpotent_restrict_unifEigenspace_top

Modification history