Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-12-28 12:15 afff1bbc

View on Github →

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.

Estimated changes