Mathlib v3 is deprecated. Go to Mathlib v4

Theorem polynomial.not_irreducible_C

Modification history

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