Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.degree_pos_of_irreducible

Modification history

2020-08-12 15:04
src/data/polynomial/field_division.lean
feat(field_theory/algebraic_closure): algebraic closure (#3733) …
Added polynomial.degree_pos_of_irreducibleView on Github →