Theorem Function.iterate_zero_apply

Modification history