Yamaguchi Lean 4 Library
Homepage
Source: ProCGroups.FreeProC.Criteria.InverseLimitsAndFiniteSubsets
ProCGroups
/
FreeProC
/
Criteria
/
InverseLimitsAndFiniteSubsets
/
Source
Source: ProCGroups.FreeProC.Criteria.InverseLimitsAndFiniteSubsets
1
import
ProCGroups.FreeProC.Basic
2
import
ProCGroups.Topologies.TopologicallyCharacteristicSubgroups
3
4
/-!
5
# Pro C Groups / Free pro-C / Criteria / Inverse Limits And Finite Subsets
6
7
Shared imports for free pro-\(C\) criterion developments.
8
-/