Theorem MonoidHom.iterate_map_inv

Modification history