Theorem Polynomial.coeffs_empty_iff

Modification history

2025-09-15 14:52
Mathlib/Algebra/Polynomial/Basic.lean
chore(Algebra/Polynomial/Basic): make some arguments implicit (#29397)
Modified Polynomial.coeffs_empty_iffView on Github →
2025-06-12 07:14
Mathlib/Algebra/Polynomial/Basic.lean
feat(RingTheory/Polynomial/ContentIdeal): the content ideal of a polynomial. (#25333) …
Added Polynomial.coeffs_empty_iffView on Github →