Theorem Rat.inv_intCast_den_of_pos

Modification history