Theorem Polynomial.coeff_monomial_of_ne

Modification history

2025-08-29 21:26
Mathlib/Algebra/Polynomial/Basic.lean
chore(Data): make arguments consistent for `single_eq_of_ne` (#29006) …
Modified Polynomial.coeff_monomial_of_neView on Github →
2024-09-06 01:15
Mathlib/Algebra/Polynomial/Basic.lean
feat(Algebra/Polynomial/Basic): miscellaneous basic lemmas on polynomials (#16372)
Added Polynomial.coeff_monomial_of_neView on Github →