Theorem Matrix.diagonal_mul_diagonal

Modification history