Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_map_algebra_map

Modification history

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