Theorem IsGalois.map_fixingSubgroup

Modification history

2025-10-16 07:33
Mathlib/FieldTheory/Galois/Basic.lean
feat: notation for galois group (#30266) …
Modified IsGalois.map_fixingSubgroupView on Github →
2024-12-01 09:31
Mathlib/FieldTheory/Galois/Basic.lean
feat(FieldTheory/Galois): Lemmas of galois theory (#16979) …
Added IsGalois.map_fixingSubgroupView on Github →