Source: ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups
1import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.ClassicalGeneratorBasis
2import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.FreeBasis
3import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Generators
4import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.PrefixTree
5import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Transversals
6import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Words
8/-!
9# Reidemeister Schreier / Discrete / Open Subgroups
11This aggregate exposes the discrete open-subgroup development: reduced-word
12utilities, right Schreier transversals and generators, prefix trees, and the
13resulting free bases.
14-/