Theorem Function.iterate_succ_apply

Modification history