eval): golf two proofs involving evals (#13020)

Commit

3 years ago

chore(data/polynomial/eval): golf two proofs involving evals (#13020) I shortened two proofs involving `eval/eval₂/comp`.

Author

adomani

Parents