Theorem Polynomial.X_ne_C

Modification history

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