Theorem Matrix.natCast_kronecker_natCast

Modification history