Theorem Rat.intCast_sub_den

Modification history