Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.map_mv_polynomial_eq_eval₂

Modification history

2022-09-02 10:49
src/ring_theory/polynomial/basic.lean
chore(ring_theory/*): Fix lint (#16350) …
Modified mv_polynomial.map_mv_polynomial_eq_eval₂View on Github →
2021-01-07 13:09
src/ring_theory/polynomial/basic.lean
feat(ring_theory/*): Various lemmas used to prove classical nullstellensatz (#5632)
Added mv_polynomial.map_mv_polynomial_eq_eval₂View on Github →