Theorem Polynomial.natDegree_one_add

Modification history

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