Theorem Rat.inv_coe_int_den_of_pos

Modification history