Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.map_int_cast

Modification history

2022-08-21 06:57
src/data/polynomial/eval.lean
refactor(data/int/cast): Use hom classes (#16024) …
Modified polynomial.map_int_castView on Github →
2020-10-26 05:21
src/data/polynomial/eval.lean
chore(data/polynomial/{degree/basic, eval}): Some trivial lemmas about polynomials (#4768) …
Added polynomial.map_int_castView on Github →