Source: ProCGroups.CrowellExactSequence.Discrete
1import ProCGroups.FoxDifferential.Completed.Comparison.MagnusKernel
2import ProCGroups.CrowellExactSequence.Discrete.BlanchfieldLyndon
3import ProCGroups.CrowellExactSequence.Discrete.MainTheorem
5/-!
6# Discrete Crowell exact sequence
8This aggregate exposes the discrete Magnus comparison and the assembled
9Crowell--Blanchfield--Lyndon exact sequence.
10-/