mathlib

f8467aaf - feat(data/polynomial/eval): add some lemmas for `eval₂` (#13234)