Theorem RingHom.iterate_map_add

Modification history