ProCGroups/FreeProC.lean
1import ProCGroups.FreeProC.Basic
2import ProCGroups.FreeProC.Abelianization
3import ProCGroups.FreeProC.CanonicalData
4import ProCGroups.FreeProC.Characterization.EmbeddingProblems
5import ProCGroups.FreeProC.Characterization.FreenessAndLifting
6import ProCGroups.FreeProC.Characterization.InverseLimitTowers
7import ProCGroups.FreeProC.Characterization.Quasifree
8import ProCGroups.FreeProC.Constructions
9import ProCGroups.FreeProC.Criteria.AbstractResidual
10import ProCGroups.FreeProC.Criteria.InverseLimitsAndFiniteSubsets
11import ProCGroups.FreeProC.FinitelyGenerated
12import ProCGroups.FreeProC.SolvableQuotients
13import ProCGroups.FreeProC.Spaces
15/-
16PUBLIC_PAGE_SNAPSHOT
17generated_at: 2026-05-27T09:47:29+09:00
18lean_source: lean4/ProCGroups/FreeProC.lean
19translation_root: data/translation
20purpose: identifies the local data snapshot used to build pages/
21placement: after imports, never before imports
22-/
23/-!
24# FreeProC
26Wrapper for the `ProCGroups.FreeProC` folder.
27-/