Theorem Matrix.kroneckerTMul_zero

Modification history