Theorem Rat.ofNat_sub_den

Modification history