Theorem Polynomial.monomial_eq_monomial_iff

Modification history

2024-09-06 01:15
Mathlib/Algebra/Polynomial/Basic.lean
feat(Algebra/Polynomial/Basic): miscellaneous basic lemmas on polynomials (#16372)
Added Polynomial.monomial_eq_monomial_iffView on Github →