Theorem MvPolynomial.eval_neg

Modification history

2023-07-18 14:22

Mathlib/Data/MvPolynomial/CommRing.lean

feat(Data/MvPolynomial/Basic): add multivariate polynomial evaluation lemmas (#5949)

Added MvPolynomial.eval_neg View on Github →