Theorem Rat.inv_coe_nat_num_of_pos

Modification history