Theorem Matrix.diagonal_kroneckerTMul

Modification history