All.lean
Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.All
0 declarations indexed from sourceView source ↗
Module documentation
Finite-field models of finite étale covers.
Imports34
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.Model
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.AffineSchemeModel
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.FiniteFamilyModel
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.FiniteTowerModel
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.ConstantFieldCover
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.ConstantFieldTower
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.ConstantFieldRebase
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.CoefficientPullback
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.ModelOverlap
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.ConstantFieldLimit
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.SchemeHomDescent
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.SchemePairDescent
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RelativeGluing
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RecoveredOverlap
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RecoveredCoefficientTransitions
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RecoveredCoefficientRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.OverlapTransitionDescent
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RecoveredFiniteStage
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RecoveredStageRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.GlobalModel
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PurelyInseparablePullback
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.FieldFrobeniusFactorization
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PureInseparableAffine
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PureInseparableAffineDescent
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PureInseparableCoverRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PurelyInseparableGluing
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.PureInseparableDescent
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.GluingRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RawStageGlue
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.StageRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.RawOverlapSupplier
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.CommonCoverRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.OverCoverRecovery
- Nyll.EtaleFundamentalGroups.FiniteEtale.FiniteField.OverCoefficientCover
Imported by1
This module has no indexed declarations. Its imports and full source are available here.