Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.algebra_map_pi_eq_aeval

Modification history

2022-01-02 17:21
src/ring_theory/algebraic.lean
feat(ring_theory/algebraic): algebraic functions (#11156) …
Added polynomial.algebra_map_pi_eq_aevalView on Github →