Theorem Matrix.isNilpotent_iff_forall_row

Modification history