Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-04-09 17:28 f8467aaf

View on Github →

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

Estimated changes

Modified src/data/polynomial/eval.lean

modified theorem polynomial.eval₂_comp

added theorem polynomial.eval₂_finset_prod

modified theorem polynomial.eval₂_hom

added theorem polynomial.eval₂_list_prod

added theorem polynomial.eval₂_list_sum

added theorem polynomial.eval₂_multiset_prod

added theorem polynomial.eval₂_multiset_sum