Theorem Polynomial.coeff_monomial_same

Modification history

2024-09-06 01:15

Mathlib/Algebra/Polynomial/Basic.lean

feat(Algebra/Polynomial/Basic): miscellaneous basic lemmas on polynomials (#16372)

Added Polynomial.coeff_monomial_same View on Github →