Theorem Function.iterate_succ'

Modification history