Theorem Matrix.diag_neg

Modification history