Commit 2023-05-07 08:52 af9dc0f9

View on Github →

chore: forward port leanprover-community/mathlib#18479 (#3829)

Estimated changes

Modified Mathlib/Data/MvPolynomial/Basic.lean

added theorem MvPolynomial.eval_mem

added theorem MvPolynomial.eval₂_mem