Theorem MvPolynomial.mk_eq_eval₂

Modification history

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