Theorem Module.End.HasUnifEigenvalue.isNilpotent_of_isNilpotent

Modification history