Theorem Rat.inv_coe_nat_num

Modification history