Def Mathlib.Tactic.Polynomial.mkPolynomialExt

Modification history

2026-06-25 15:06
Mathlib/Tactic/Polynomial/Core.lean
feat(Tactic): `polynomial(_nf)` tactics (#31513) …
Added Mathlib.Tactic.Polynomial.mkPolynomialExtView on Github →