Theorem Polynomial.Monic.natDegree_le_of_dvd

Modification history

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