Theorem MonoidHom.iterate_map_frobenius

Modification history