FiniteKummerAbsoluteLift.lean
Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.FiniteKummerAbsoluteLift
0 declarations indexed from sourceView source ↗
Module documentation
The general field-theoretic implementation is maintained in GaloisCohomology.
Imported by7
- Nyll.SawinTotallyRealTowers.FiniteKummerAbsoluteKernel
- Nyll.SawinTotallyRealTowers.FiniteKummerContinuousKernel
- Nyll.SawinTotallyRealTowers.RealProPFrobeniusStage
- Nyll.SawinTotallyRealTowers.RealProPStageRestriction
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.Kummer.All
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.RelationRank.ArithmeticStageAbsoluteH2Vanishing
- Nyll.SawinTotallyRealTowers.UnramifiedProPRelationRank.RelationRank.FiniteUnramifiedAbsoluteH2Vanishing
This module has no indexed declarations. Its imports and full source are available here.