Theorem Polynomial.ofFn_coeff_eq_zero_of_ge

Modification history

2026-02-19 09:41
Mathlib/Algebra/Polynomial/OfFn.lean
style: remove almost all remaining leading by's (#35523)
Modified Polynomial.ofFn_coeff_eq_zero_of_geView on Github →
2025-03-25 11:08
Mathlib/Algebra/Polynomial/ofFn.lean
feat(Algebra/Polynomial/ofFn): ofFn and APIs (#23080) …
Added Polynomial.ofFn_coeff_eq_zero_of_geView on Github →