Theorem Polynomial.eval₂_eq_liftNC

Modification history

2026-11-02 08:15

Mathlib/Algebra/Polynomial/Eval/Defs.lean

refactor(Algebra/Polynomial): make into an `abbrev` of `AddMonoidAlgebra` (#41981) …

Added Polynomial.eval₂_eq_liftNC View on Github →