Theorem Function.iterate_commute

Modification history