Theorem MonoidHom.iterate_map_div

Modification history