Theorem Matrix.isDiag_neg_iff

Modification history