Theorem Irreducible.natDegree_pos

Modification history

2024-02-15 16:16
Mathlib/Data/Polynomial/FieldDivision.lean
feat: add some simple results regarding polynomials (#10572) …
Added Irreducible.natDegree_posView on Github →