Theorem Matrix.add_kronecker

Modification history