Theorem Rat.inv_natCast_num

Modification history