Theorem Rat.coe_int_num

Modification history