Theorem Matrix.diag_sum

Modification history