Theorem Matrix.isUnit_charpolyRev_of_IsNilpotent

Modification history