Theorem Function.iterate_succ

Modification history