Theorem Rat.coe_int_eq_divInt

Modification history