Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.aeval_algebra_map_eq_zero_iff_of_injective

Modification history

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