Def Mathlib.Tactic.Polynomial.polynomialInferBase

Modification history

2026-06-25 15:06

Mathlib/Tactic/Polynomial/Basic.lean

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

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