Theorem Polynomial.ofFn_zero

Modification history

2025-03-25 11:08

Mathlib/Algebra/Polynomial/ofFn.lean

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

Added Polynomial.ofFn_zero View on Github →