All.lean
Nyll.ProCGroups.ReidemeisterSchreier.Discrete.ReidemeisterSchreier.All
0 declarations indexed from sourceView source ↗
Module documentation
Reidemeister Schreier / Discrete / Reidemeister Schreier
This aggregate exposes the abstract rewriting construction together with its finite-quotient presentation pipeline.
Imports2
This module has no indexed declarations. Its imports and full source are available here.