All.lean
Nyll.ProCGroups.CompletedGroupAlgebra.UniversalProperty.All
0 declarations indexed from sourceView source ↗
Module documentation
Universal properties of completed group algebras
This aggregate exports canonical inverse-limit models and their lift constructions to finite, discrete, open-submodule quotient, and general profinite modules.
Imports4
Imported by1
This module has no indexed declarations. Its imports and full source are available here.