Theorem MonoidHom.iterate_map_zpow

Modification history