Theorem Matrix.trace_kroneckerTMul

Modification history