Theorem Matrix.one_kroneckerTMul_one

Modification history