Theorem Matrix.num_intCast

Modification history