Polynomials supported by a set of variables #
THIS FILE IS SYNCHRONIZED WITH MATHLIB4.
Any changes to this file require a corresponding PR to mathlib4.
This file contains the definition and lemmas about
Main definitions #
variables, polynomial, vars
The set of polynomials whose variables are contained in
s as a
The isomorphism between the subalgebra of polynomials supported by
mv_polynomial s R