Theorem MvPolynomial.eval_eval₂

Modification history

2025-01-13 17:41

Mathlib/Algebra/MvPolynomial/Basic.lean

chore(Algebra/MvPolynomial/Eval): split file for eval off of basic (#20655) …

Modified MvPolynomial.eval_eval₂ View on Github →

2024-08-05 03:02

Mathlib/Algebra/MvPolynomial/Basic.lean

chore: backports for leanprover/lean4#4814 (part 16) (#15427) …

Modified MvPolynomial.eval_eval₂ View on Github →

2024-04-14 10:41

Mathlib/Algebra/MvPolynomial/Basic.lean

chore: remove autoImplicit from more files (#11798) …

Modified MvPolynomial.eval_eval₂ View on Github →

2023-04-20 12:31

Mathlib/Data/MvPolynomial/Basic.lean

feat: port Data.MvPolynomial.Funext (#3225)

Added MvPolynomial.eval_eval₂ View on Github →