Def CategoryTheory.PreGaloisCategory.autEmbedding

Modification history

2024-09-10 07:29

Mathlib/CategoryTheory/Galois/Topology.lean

feat(CategoryTheory/Galois): topology of fundamental group (#16441) …

Added CategoryTheory.PreGaloisCategory.autEmbedding View on Github →