Def CategoryTheory.PreGaloisCategory.toAut

Modification history

2024-09-18 22:16

Mathlib/CategoryTheory/Galois/IsFundamentalgroup.lean

feat(CategoryTheory/Galois): universal property of fundamental group (#16673) …

Added CategoryTheory.PreGaloisCategory.toAut View on Github →