Source: ProCGroups.CompletedGroupAlgebra.ProfiniteModules
1import ProCGroups.CompletedGroupAlgebra.ProfiniteModules.Basic
2import ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra
4/-!
5# Profinite modules over completed group algebras
7This aggregate exports bundled profinite rings and modules, their finite quotient and generating
8set theory, and the topology, augmentation, functoriality, and unit actions of finite group
9algebras.
10-/