Theorem Rat.inv_intCast_num

Modification history