Theorem RingHom.map_iterate_frobenius

Modification history