Theorem Rat.add_ofNat_den

Modification history