Theorem Int.nat_succ_eq_int_succ

Modification history