Theorem MvPolynomial.mem_vars_iff_degreeOf_ne_zero

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_degreeOf_ne_zeroView on Github →