Theorem IntermediateField.le_normalClosure

Modification history

2023-09-07 00:04

Mathlib/FieldTheory/NormalClosure.lean

refactor(FieldTheory/NormalClosure): change definition and add API (#6163) …

Added IntermediateField.le_normalClosure View on Github →