Theorem MvPolynomial.eval₂_mul_eq_zero_of_right

Modification history

2026-03-03 23:24
Mathlib/Algebra/MvPolynomial/Eval.lean
feat(RingTheory/MvPolynomial): add eval results (#35803) …
Added MvPolynomial.eval₂_mul_eq_zero_of_rightView on Github →