Theorem Polynomial.not_isUnit_X_add_C

Modification history

2025-10-23 00:03
Mathlib/Algebra/Polynomial/Monic.lean
feat(Algebra/Polynomial/Factors): Introduce predicate and basic API (#30212) …
Added Polynomial.not_isUnit_X_add_CView on Github →