Theorem MvPolynomial.vars_eq_empty_iff_eq_C

Modification history

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