Theorem Int.sub_nat_nat_add_neg_succ_of_nat

Modification history