Theorem RingHom.iterate_map_neg

Modification history