Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.CrowellExactSequence.Applications
ProCGroups
/
CrowellExactSequence
/
Applications
/
Source
Source: ProCGroups.CrowellExactSequence.Applications
1
import
ProCGroups.CrowellExactSequence.Applications.FiniteRank
2
3
/-!
4
# Applications of Crowell exact sequences
5
6
Applications of the profinite Crowell exact sequence, including the finite-rank criterion for
7
free pro-\(C\) presentations.
8
-/