Theorem CategoryTheory.PreGaloisCategory.toAut_injective_of_non_trivial

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_injective_of_non_trivialView on Github →