Def Polynomial.toFn

Modification history

2026-02-24 10:38

Mathlib/Algebra/Polynomial/OfFn.lean

chore: bump toolchain to v4.29.0-rc2 (#35708)

Deleted Polynomial.toFn View on Github →

2025-03-25 11:08

Mathlib/Algebra/Polynomial/ofFn.lean

feat(Algebra/Polynomial/ofFn): ofFn and APIs (#23080) …

Added Polynomial.toFn View on Github →