Theorem Matrix.add_kroneckerTMul

Modification history