Theorem Rat.sub_ofNat_den

Modification history