Theorem Rat.add_intCast_den

Modification history