InverseLimitsAndFiniteSubsets.lean
Nyll.ProCGroups.FreeProC.Criteria.InverseLimitsAndFiniteSubsets
0 declarations indexed from sourceView source ↗
Module documentation
Pro C Groups / Free pro-C / Criteria / Inverse Limits And Finite Subsets
Shared imports for free pro-\(C\) criterion developments.
Imports2
Imported by1
This module has no indexed declarations. Its imports and full source are available here.