Theorem Matrix.blockDiag_neg

Modification history