Theorem Function.iterate_fixed

Modification history