Theorem Int.neg_neg_of_nat_succ

Modification history