mathlib

2f1de3f7 - feat(polynomial/eval): lemmas relating eval/map on numerals (#6438)

feat(polynomial/eval): lemmas relating eval/map on numerals (#6438) Co-authored-by: Scott Morrison <scott.morrison@gmail.com> Co-authored-by: Johan Commelin <johan@commelin.net>