Theorem MvPolynomial.mem_vars_iff_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.mem_vars_iff_mem_supportView on Github →