Theorem CategoryTheory.PreGaloisCategory.stabilizer_normal_of_isGalois

Modification history

2024-09-19 18:05
Mathlib/CategoryTheory/Galois/GaloisObjects.lean
feat(CategoryTheory/Galois): prerequisites for essential surjectivity (#16948) …
Added CategoryTheory.PreGaloisCategory.stabilizer_normal_of_isGaloisView on Github →