Theorem IntermediateField.isSeparable_top

Modification history

2026-06-18 19:42
Mathlib/FieldTheory/SeparableDegree.lean
refactor(FieldTheory/*): swap imports of `IsSepClosed` and `SeparableClosure` (#40777) …
Added IntermediateField.isSeparable_topView on Github →