Theorem RingHom.iterate_map_smul

Modification history