Theorem Function.iterate_succ_apply'

Modification history