Theorem Polynomial.degree_eq_iff_natDegree_eq_of_neZero

Modification history

2026-08-20 21:14
Mathlib/Algebra/Polynomial/Degree/Defs.lean
feat(Algebra/Polynomial): lemmas about polynomial degree (#37956) …
Added Polynomial.degree_eq_iff_natDegree_eq_of_neZeroView on Github →