Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.eval_int_cast_map

Modification history

2021-02-26 07:13

src/data/polynomial/eval.lean

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

Added polynomial.eval_int_cast_map View on Github →