All.lean
Nyll.ProCGroups.ProC.GroupPredicates.All
0 declarations indexed from sourceView source ↗
Module documentation
Group predicates for pro-\(C\) groups
Criteria that transfer properties of the finite quotients in an open-normal basis to the underlying profinite group.
Imported by1
This module has no indexed declarations. Its imports and full source are available here.