Theorem Int.neg_ofNat_of_succ

Modification history