Theorem Rat.coe_int_div

Modification history