Theorem Rat.inv_natCast_den_of_pos

Modification history