Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2020-10-13 09:47 dd8bf2c5

View on Github →

feat(data/polynomial/eval): easy lemmas + speedup (#4596)

Estimated changes

Modified src/data/polynomial/algebra_map.lean

deleted theorem polynomial.mul_comp

Modified src/data/polynomial/eval.lean

added theorem polynomial.comp_assoc

added theorem polynomial.eval₂_congr

added theorem polynomial.mul_comp

added theorem polynomial.neg_comp

added theorem polynomial.sub_comp