chore(number_theory/arithmetic_function): golf (#17953) Also generalize coe_zeta_smul_apply.
coe_zeta_smul_apply