Def Mathlib.Tactic.Polynomial.evalExprPoly

Modification history

2026-06-25 15:06

Mathlib/Tactic/Polynomial/Basic.lean

feat(Tactic): `polynomial(_nf)` tactics (#31513) …

Added Mathlib.Tactic.Polynomial.evalExprPoly View on Github →