Theorem Rat.inv_coe_int_num

Modification history