Mathlib v3 is deprecated. Go to Mathlib v4

Theorem mv_polynomial.eval₂_hom_congr'

Modification history

2020-09-25 12:54
src/data/mv_polynomial/variables.lean
feat(data/mv_polynomial/variables): vars_bind₁ and friends (#4204) …
Added mv_polynomial.eval₂_hom_congr'View on Github →