Theorem Rat.ofNat_add_den

Modification history