Theorem Int.cast_mul_eq_zsmul_cast

Modification history