Theorem Matrix.isNilpotent_trace_of_isNilpotent

Modification history