Source: ProCGroups.CompletedGroupAlgebra.Basic
1import ProCGroups.CompletedGroupAlgebra.Basic.InClass
2import ProCGroups.CompletedGroupAlgebra.Basic.AllFinite
3import ProCGroups.CompletedGroupAlgebra.Basic.ClassComparison
5/-!
6# Completed Group Algebra / Basic
8This aggregate exports both opaque completed-group-algebra carriers, their finite-stage systems,
9bundled projections and topological structures, and the canonical comparison equivalence between
10the all-finite and \(C\)-indexed models.
11-/