Theorem Rat.sub_intCast_den

Modification history