Theorem Rat.inv_ofNat_num

Modification history