Theorem Int.neg_succ_of_nat_coe'

Modification history