Theorem Matrix.isNilpotent_charpoly_sub_pow_of_isNilpotent

Modification history