Theorem Matrix.diagonal_zero

Modification history