AbsoluteMuPTopRep.lean
Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPTopRep
0 declarations indexed from sourceView source ↗
Module documentation
The general field-theoretic implementation is maintained in GaloisCohomology.
Imported by9
- Nyll.SawinTotallyRealTowers.AbsoluteRealKernelField
- Nyll.SawinTotallyRealTowers.AbsoluteRealProPFactor
- Nyll.SawinTotallyRealTowers.InfiniteArtinCompatibility
- Nyll.SawinTotallyRealTowers.RealProPStageRestriction
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteDiscreteKernelField
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.AbsoluteMuPKummerLinear
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.All
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteIntermediateAbsoluteClosure
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.RelationRank.AbsoluteDiscreteRamificationSupport
This module has no indexed declarations. Its imports and full source are available here.