Theorem intCast_smul

Modification history