Theorem Rat.inv_ofNat_den

Modification history