Theorem MvPolynomial.support_subset_vars_of_mem_support

Modification history

2026-05-01 05:59
Mathlib/Algebra/MvPolynomial/Variables.lean
feat(Algebra/MvPolynomial/Variables): add some lemmas about `vars` (#37791) …
Added MvPolynomial.support_subset_vars_of_mem_supportView on Github →