Theorem Rat.intCast_add_den

Modification history