Theorem Matrix.diagonal_mul_diagonal'

Modification history