ProCGroups.CrowellExactSequence.Applications
Applications of the profinite Crowell exact sequence, including the finite-rank criterion for free pro-\(C\) presentations.
Imported by
FiniteRank
Crowell exact sequences / Applications / Finite Rank. This module develops the Crowell--Blanchfield--Lyndon exact sequence and its completed coordinate forms.