Theorem MvPolynomial.eval_sub

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_sub View on Github →