Theorem Matrix.diag_add

Modification history