Theorem MonoidHom.iterate_map_pow

Modification history