Theorem finGaloisGroupMap.map_comp

Modification history

2024-10-19 22:21

Mathlib/FieldTheory/Galois/GaloisClosure.lean

chore(FieldTheory/Galois): Move infinite Galois (#17945) …

Modified finGaloisGroupMap.map_comp View on Github →

2024-10-18 17:54

Mathlib/FieldTheory/Galois/Infinite.lean

feat(FieldTheory/Galois): Finite galois subextensions (#16978) …

Added finGaloisGroupMap.map_comp View on Github →