Theorem Int.neg_neg_ofNat_succ

Modification history