Theorem Int.neg_succ_of_nat_inj_iff

Modification history