Theorem Function.iterate_add

Modification history