Theorem Int.neg_succ

Modification history