Theorem Polynomial.coeffs_monomial

Modification history

2025-02-23 23:50
Mathlib/Algebra/Polynomial/Basic.lean
refactor: move `Polynomial.coeffs` and related results (#22225) …
Modified Polynomial.coeffs_monomialView on Github →
2024-09-06 01:15
Mathlib/RingTheory/Polynomial/Basic.lean
feat(Algebra/Polynomial/Basic): miscellaneous basic lemmas on polynomials (#16372)
Added Polynomial.coeffs_monomialView on Github →