Def IsGalois.intermediateFieldEquivSubgroup

Modification history

2023-06-16 05:40

Mathlib/FieldTheory/Galois.lean

feat: port FieldTheory.Galois (#5115)

Added IsGalois.intermediateFieldEquivSubgroup View on Github →