Theorem int_cast_smul

Modification history