All.lean
Nyll.ProCGroups.ReidemeisterSchreier.Profinite.All
0 declarations indexed from sourceView source ↗
Module documentation
Profinite Reidemeister--Schreier theory
This aggregate exports open-subgroup right-coset cocycles, exact generation, and the proved finite-rank basis theorems for free pro-\(C\) groups.
Imported by1
This module has no indexed declarations. Its imports and full source are available here.