Theorem IsSepClosed.degree_eq_one_of_irreducible

Modification history

2023-08-14 12:56
Mathlib/FieldTheory/IsSepClosed.lean
feat(Mathlib/FieldTheory/IsSepClosed) separably closed field and separable closure - basic definition (#6285) …
Added IsSepClosed.degree_eq_one_of_irreducibleView on Github →