Theorem Matrix.diagonal_add

Modification history