Theorem Function.iterate_comm

Modification history