Theorem Matrix.blockDiag'_neg

Modification history