Theorem Rat.coe_int_den

Modification history