Theorem Rat.coe_int_div_self

Modification history