Theorem AddMonoidHom.iterate_map_smul

Modification history