Theorem Function.iterate_mul

Modification history