Theorem RingHom.iterate_map_zsmul

Modification history