Theorem Int.succ_iterate

Modification history