All.lean
Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.All
0 declarations indexed from sourceView source ↗
Module documentation
Global unramified pro-p class-field constructions
This aggregate collects global reciprocity characters, idele cohomology, class groups, unramified composita, and maximal everywhere-unramified pro-p extensions.
Imports27
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.BinaryUnramifiedCompositum
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.ClassFormationPGroupH1
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.EverywhereUnramifiedBridge
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.EverywhereUnramifiedProPCompositum
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.EverywhereUnramifiedProPFiniteFamily
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.FiniteFieldUnitsIdelePrimitive
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.FiniteIdeleH2Injection
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.FrattiniClassField
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.GlobalMaximalAbelianRestriction
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.GlobalReciprocityCharacter
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.HilbertElementaryLayer
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.HilbertElementaryLayerInMaximal
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.IdeleCharacterGlobalLift
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.IdeleClassPGroupH1
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalAbelianFiniteProjection
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProP
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProPCofinality
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProPFiniteGeneration
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProPFiniteSupport
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProPGalois
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.MaximalEverywhereUnramifiedProPGroup
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.PClassGroup
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.ProfiniteIntegerFree
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.ProfiniteIntegerH2
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.UnramifiedCompositumBaseChange
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.UnramifiedExplicitBridge
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Global.UnramifiedInfinitePlaceBlockH2
This module has no indexed declarations. Its imports and full source are available here.