Theorem Matrix.isUnit_charpolyRev_of_isNilpotent

Modification history