Theorem Matrix.isNilpotent_iff_forall_col

Modification history