Theorem IsSepClosed.of_exists_root

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.of_exists_root View on Github →