Theorem Rat.intCast_eq_zero

Modification history