Theorem Polynomial.natDegree_add_one

Modification history

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