Theorem RingHom.iterate_map_sub

Modification history