All.lean
Nyll.ProCGroups.CrowellExactSequence.All
0 declarations indexed from sourceView source ↗
Module documentation
Crowell exact sequences for pro-\(C\) groups
The discrete and profinite Crowell--Blanchfield--Lyndon exact sequences, together with the shared four-term linear-sequence interface, the completed continuous Magnus comparison, and applications of the exact sequence.
This is the canonical public entry point for Crowell exact sequences in ProCGroups.
Imports4
Imported by1
This module has no indexed declarations. Its imports and full source are available here.