Theorem RingHom.map_iterate_pthRoot

Modification history