Theorem Polynomial.Monic.natDegree_pos

Modification history

2024-06-19 09:36

Mathlib/Algebra/Polynomial/RingDivision.lean

feat(Algebra/Polynomial/RingDivision): Add and simplify some lemmas (#13866) …

Added Polynomial.Monic.natDegree_pos View on Github →