Theorem IsSepClosed.exists_eq_mul_self

Modification history

2026-09-28 23:44
Mathlib/FieldTheory/IsSepClosed.lean
chore(FieldTheory): make use of `IsSquare` (#44309) …
Deleted IsSepClosed.exists_eq_mul_selfView on Github →
2023-08-14 12:56
Mathlib/FieldTheory/IsSepClosed.lean
feat(Mathlib/FieldTheory/IsSepClosed) separably closed field and separable closure - basic definition (#6285) …
Added IsSepClosed.exists_eq_mul_selfView on Github →