Theorem CategoryTheory.PreGaloisCategory.AutGalois.π_surjective

Modification history

2024-08-12 18:29
Mathlib/CategoryTheory/Galois/Prorepresentability.lean
chore: move to v4.11.0-rc2 (new `variable` command) (#15726)
Modified CategoryTheory.PreGaloisCategory.AutGalois.π_surjectiveView on Github →
2024-08-07 06:03
Mathlib/CategoryTheory/Galois/Prorepresentability.lean
chore: backports for leanprover/lean4#4814 (part 18) (#15431) …
Modified CategoryTheory.PreGaloisCategory.AutGalois.π_surjectiveView on Github →
2024-06-08 16:29
Mathlib/CategoryTheory/Galois/Prorepresentability.lean
feat(CategoryTheory/Galois): fundamental group is limit of automorphism groups (#12843) …
Added CategoryTheory.PreGaloisCategory.AutGalois.π_surjectiveView on Github →