Theorem Rat.inv_coe_nat_den_of_pos

Modification history