Source: ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Words
1import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Words.Basic
2import ProCGroups.ReidemeisterSchreier.Discrete.OpenSubgroups.Words.NielsenSchreierCompat
4/-!
5# Reidemeister Schreier / Discrete / Open Subgroups / Words
7This aggregate exposes prefix operations on reduced free-group words and the
8compatibility layer connecting them to the Nielsen--Schreier action-groupoid
9construction.
10-/