Theorem IsGalois.map_fixingSubgroup

Modification history

2024-12-01 09:31

Mathlib/FieldTheory/Galois/Basic.lean

feat(FieldTheory/Galois): Lemmas of galois theory (#16979) …

Added IsGalois.map_fixingSubgroup View on Github →