mathlib

afff1bbc - chore(data/polynomial/eval): golf a proof, add versions (#11092)

chore(data/polynomial/eval): golf a proof, add versions (#11092) * golf the proof of `polynomial.eval_prod`; * add versions `polynomial.eval_multiset_prod` and `polynomial.eval_list_prod`.