Theorem Matrix.diagonal_kroneckerTMul_diagonal

Modification history