All.lean
Nyll.ProCGroups.CompletedGroupAlgebra.ProfiniteModules.FiniteGroupAlgebra.Augmentation.All
0 declarations indexed from sourceView source ↗
Module documentation
Augmentation of finite and completed group algebras
This aggregate exports algebraic augmentation and its ideal for group algebras together with the continuous augmentation obtained after completion.
Imports2
This module has no indexed declarations. Its imports and full source are available here.