Theorem Function.iterate_one

Modification history