Theorem CategoryTheory.PreGaloisCategory.toAut_surjective_of_isPretransitive

Modification history

2025-02-16 15:19
Mathlib/CategoryTheory/Galois/IsFundamentalgroup.lean
chore: rename Topological(Semi)Ring -> IsTopological(Semi)Ring and Topological(Add)Group -> IsTopological(Add)Group (#21472)
Modified CategoryTheory.PreGaloisCategory.toAut_surjective_of_isPretransitiveView on Github →
2024-09-18 22:16
Mathlib/CategoryTheory/Galois/IsFundamentalgroup.lean
feat(CategoryTheory/Galois): universal property of fundamental group (#16673) …
Added CategoryTheory.PreGaloisCategory.toAut_surjective_of_isPretransitiveView on Github →