Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-02-26 07:13 2f1de3f7

View on Github →

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

Estimated changes

Modified src/data/polynomial/eval.lean

added theorem polynomial.eval_int_cast_map

added theorem polynomial.eval_nat_cast_map

added theorem polynomial.eval_one_map

added theorem polynomial.eval_zero_map