Theorem Matrix.kronecker_natCast

Modification history