Theorem Module.End.isNilpotent_restrict_unifEigenspace_nat

Modification history