Source: ProCGroups.Categorical
1import ProCGroups.Categorical.AlgebraicPullbacks
2import ProCGroups.Categorical.ProfinitePullbacks
3import ProCGroups.Categorical.PullbackComparison
4import ProCGroups.Categorical.PushoutSquares
5import ProCGroups.Categorical.QuotientPullbackEquivalences
7/-!
8# Pro C Groups / Categorical
10This umbrella module exports the concrete algebraic and continuous pullback,
11comparison, quotient-pullback, and pushout APIs.
12-/