ProCGroups.CrowellExactSequence.Discrete

This aggregate collects the maps and exactness statements for the discrete Blanchfield--Lyndon sequence.

Surjectivity and the kernel/image identities for the relative Fox derivative assemble into the four-term discrete Crowell sequence. The free-group presentation theorem specializ...

This module develops the Crowell--Blanchfield--Lyndon exact sequence and its completed coordinate forms.

This file constructs the maps in the discrete presentation sequence: the middle coordinate equivalence, the augmentation-generator tail map, and the relative-derivative head map...