Theorem Int.pred_succ

Modification history