Theorem MvPolynomial.mkₐ_eq_aeval

Modification history

2026-03-03 23:24

Mathlib/RingTheory/MvPolynomial/Ideal.lean

feat(RingTheory/MvPolynomial): add eval results (#35803) …

Added MvPolynomial.mkₐ_eq_aeval View on Github →