Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_map

Modification history

2022-09-30 23:37
src/data/polynomial/algebra_map.lean
refactor(ring_theory/polynomial/tower): review APIs (#16678) …
Deleted polynomial.aeval_mapView on Github →
2021-01-22 07:39
src/data/polynomial/algebra_map.lean
feat(data/polynomial/algebra_map): aeval_map (#5843) …
Added polynomial.aeval_mapView on Github →