Source: ProCGroups.CrowellExactSequence
1import ProCGroups.CrowellExactSequence.Basic
2import ProCGroups.CrowellExactSequence.Applications
3import ProCGroups.CrowellExactSequence.Discrete
4import ProCGroups.CrowellExactSequence.Profinite
6/-!
7# Crowell exact sequences for pro-\(C\) groups
9The discrete and profinite Crowell--Blanchfield--Lyndon exact sequences, together with the shared
10four-term linear-sequence interface, the completed continuous Magnus comparison, and applications
11of the exact sequence.
13This is the canonical public entry point for Crowell exact sequences in `ProCGroups`.
14-/