Theorem Rat.inv_coe_nat_den

Modification history