Theorem Int.succ_eq_succ

Modification history