Source: ProCGroups.CompletedGroupAlgebra.Basic.InClass
1import ProCGroups.CompletedGroupAlgebra.Basic.InClass.Topology
3/-!
4# Completed Group Algebra / Basic / Within a Class
6This is the public aggregate for the completion indexed by a finite-group class \(C\). It exports
7the in-class quotient indices and stages, their inverse system, the opaque named carrier, its
8coefficient algebra, canonical bundled projections, and the inherited inverse-limit topology.
10The API deliberately mirrors the all-finite aggregate: use
11`completedGroupAlgebraProjectionInClass`, `completedGroupAlgebraInClass_ext`, and
12`completedGroupAlgebraInClassCompatibleFamilyEquiv` instead of constructing or projecting the
13compatible-family subtype directly.
14-/