Def IsGalois.galoisCoinsertionIntermediateFieldSubgroup

Modification history

2023-06-16 05:40

Mathlib/FieldTheory/Galois.lean

feat: port FieldTheory.Galois (#5115)

Added IsGalois.galoisCoinsertionIntermediateFieldSubgroup View on Github →