Theorem Rat.coe_int_inj

Modification history