Theorem MonoidHom.iterate_map_mul

Modification history