Yamaguchi Lean 4 Library
Source: ProCGroups.FreeProC.Characterization
ProCGroups/FreeProC/Characterization/Source

Source: ProCGroups.FreeProC.Characterization

1import ProCGroups.FreeProC.Characterization.EmbeddingProblems
2import ProCGroups.FreeProC.Characterization.Quasifree
4/-!
5# Pro C Groups / Free pro-C / Characterization
7This is the aggregate import for embedding-problem and quasifree
8characterizations.
9-/