Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_algebra_map_apply_eq_algebra_map_eval

Modification history

2022-09-30 23:37
src/data/polynomial/algebra_map.lean
refactor(ring_theory/polynomial/tower): review APIs (#16678) …
Added polynomial.aeval_algebra_map_apply_eq_algebra_map_evalView on Github →