Theorem Matrix.mul_diagonal

Modification history