Theorem Polynomial.ne_zero_of_ofFn_ne_zero

Modification history

2025-03-25 11:08
Mathlib/Algebra/Polynomial/ofFn.lean
feat(Algebra/Polynomial/ofFn): ofFn and APIs (#23080) …
Added Polynomial.ne_zero_of_ofFn_ne_zeroView on Github →