All.lean
Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.All
0 declarations indexed from sourceView source ↗
Module documentation
Profinite modules over completed group algebras
This aggregate exports bundled profinite rings and modules, their finite quotient and generating set theory, and the topology, augmentation, functoriality, and unit actions of finite group algebras.
Imports2
Imported by1
This module has no indexed declarations. Its imports and full source are available here.