Theorem FiniteGaloisIntermediateField.adjoin_simple_map_algEquiv

Modification history

2025-10-16 07:33
Mathlib/FieldTheory/Galois/GaloisClosure.lean
feat: notation for galois group (#30266) …
Modified FiniteGaloisIntermediateField.adjoin_simple_map_algEquivView on Github →
2024-10-18 17:54
Mathlib/FieldTheory/Galois/Infinite.lean
feat(FieldTheory/Galois): Finite galois subextensions (#16978) …
Added FiniteGaloisIntermediateField.adjoin_simple_map_algEquivView on Github →