supported): subalgebra of polynomials supported by a set of variables (#9183)

Commit

4 years ago

feat(data/mv_polynomial/supported): subalgebra of polynomials supported by a set of variables (#9183) Co-authored-by: Chris Hughes <33847686+ChrisHughes24@users.noreply.github.com>

Author

ChrisHughes24

Parents

e18b9cac

mathlib e2cb9e19 - feat(data/mv_polynomial/supported): subalgebra of polynomials supported by a set of variables (#9183)

mathlib
e2cb9e19 - feat(data/mv_polynomial/supported): subalgebra of polynomials supported by a set of variables (#9183)