Commit 2024-09-10 07:29 8f73f3e2
View on Github →feat(CategoryTheory/Galois): topology of fundamental group (#16441) Introduces a natural pro-finite topology on the fundamental group of a fiber functor.
feat(CategoryTheory/Galois): topology of fundamental group (#16441) Introduces a natural pro-finite topology on the fundamental group of a fiber functor.