Theorem Function.iterate_add_apply

Modification history