Theorem Module.End.HasEigenvalue.isNilpotent_of_isNilpotent

Modification history