Theorem Rat.inv_natCast_num_of_pos

Modification history