chore(data/polynomial/eval): golf two proofs involving evals (#13020)
chore(data/polynomial/eval): golf two proofs involving evals (#13020)

I shortened two proofs involving `eval/eval₂/comp`.





leanprover-community/mathlib,leanprover-community/mathlib