Theorem Int.neg_of_nat_of_succ

Modification history