Theorem Matrix.diagonal_mul

Modification history