Def IsGalois.galoisInsertionIntermediateFieldSubgroup

Modification history

2023-06-16 05:40

Mathlib/FieldTheory/Galois.lean

feat: port FieldTheory.Galois (#5115)

Added IsGalois.galoisInsertionIntermediateFieldSubgroup View on Github →