Theorem Polynomial.coeffs_zero

Modification history

2025-02-23 23:50

Mathlib/Algebra/Polynomial/Basic.lean

refactor: move `Polynomial.coeffs` and related results (#22225) …

Modified Polynomial.coeffs_zero View on Github →

2024-05-18 08:22

Mathlib/RingTheory/Polynomial/Basic.lean

chore(RingTheory/Polynomial): rename `frange` to `coeffs` (#12919) …

Added Polynomial.coeffs_zero View on Github →