Theorem Polynomial.natDegree_normalize

Modification history

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