Theorem MonoidHom.map_iterate_pthRoot

Modification history