Source: ProCGroups.CompletedGroupAlgebra.AllFiniteAugmentation
1import ProCGroups.CompletedGroupAlgebra.AllFiniteAugmentation.AugmentationIdeal
3/-!
4# Completed Group Algebra / All Finite Augmentation
6This aggregate exports terminal-index and finite-stage augmentations, the canonical all-finite
7augmentation, its comparison with the \(C\)-indexed augmentation, and the completed augmentation
8ideal.
9-/