All.lean
Nyll.EtaleFundamentalGroups.StrictHenselian.All
0 declarations indexed from sourceView source ↗
Module documentation
Strict Henselian factors
Finite-étale chosen factors, fraction fields, and filtered descent over strict Henselizations.
Canonical aggregate for EtaleFundamentalGroups.StrictHenselian.
Imports92
- Nyll.EtaleFundamentalGroups.StrictHenselian.FundamentalGroup
- Nyll.EtaleFundamentalGroups.StrictHenselian.SeparablyClosedFractionResidue
- Nyll.EtaleFundamentalGroups.StrictHenselian.SeparablyClosedFractionHenselian
- Nyll.EtaleFundamentalGroups.StrictHenselian.CartierGenericPoint
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkDVR
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkNormalDomain
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkNormal
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkGenericIntegral
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkFractionFieldMap
- Nyll.EtaleFundamentalGroups.StrictHenselian.LocalEtaleDVR
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkLocalizedGerm
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkResidueClosure
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkFlat
- Nyll.EtaleFundamentalGroups.StrictHenselian.ChosenFactorFilteredDescent
- Nyll.EtaleFundamentalGroups.StrictHenselian.FiniteEtaleChosenLocalization
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalk
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkHenselian
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkResidue
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkStructure
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkHenselianMap
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkHenselianEmbedding
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrime
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeEmbedding
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeInertia
- Nyll.EtaleFundamentalGroups.StrictHenselian.CartierGenericPullback
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkAlgebraColimit
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkTensorDescent
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkFractionTensor
- Nyll.EtaleFundamentalGroups.StrictHenselian.AffineNeighborhoodFaithfullyFlat
- Nyll.EtaleFundamentalGroups.StrictHenselian.StrictGenericSplittingEtale
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkGenericTensor
- Nyll.EtaleFundamentalGroups.StrictHenselian.CartierStrictFractionMap
- Nyll.EtaleFundamentalGroups.StrictHenselian.StrictGenericTrivialCover
- Nyll.EtaleFundamentalGroups.StrictHenselian.StrictGenericNormalizationEtale
- Nyll.EtaleFundamentalGroups.StrictHenselian.CartierStrictNormalizationEtale
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkGenericColimit
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkAffineGenericDescent
- Nyll.EtaleFundamentalGroups.StrictHenselian.StrictGenericSplittingNormal
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalLocalExactSequence
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkIdempotentDescent
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalPrimeLift
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkHenselianRigidity
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeInertiaFixedImage
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkHenselianEtaleRange
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeField
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkFraction
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkInertiaRange
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkFixedField
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkFieldTower
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkInertia
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkGaloisRestriction
- Nyll.EtaleFundamentalGroups.StrictHenselian.PointedEtaleNeighborhoods
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkChangeField
- Nyll.EtaleFundamentalGroups.StrictHenselian.OrdinaryHenselization
- Nyll.EtaleFundamentalGroups.StrictHenselian.OrdinaryHenselizationUniversal
- Nyll.EtaleFundamentalGroups.StrictHenselian.OrdinaryHenselizationEmbedding
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryHenselization
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryFraction
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalFractionFieldGalois
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkFundamentalGroup
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalFractionFieldGaloisTopology
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalInertiaLocalExactSequence
- Nyll.EtaleFundamentalGroups.StrictHenselian.OrdinaryHenselizationComparison
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryDecomposition
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryFixedField
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryFieldTower
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeOrdinaryGaloisRestriction
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkResidueSeparable
- Nyll.EtaleFundamentalGroups.StrictHenselian.OrdinaryStrictFractionComparison
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalUnramifiedSubfield
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalUnramifiedGaloisQuotient
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalUnramifiedInertiaKernel
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationFiberDegreeCriterion
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationPrimeStalkResidue
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationFiniteEtaleSpecialization
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationOrdinaryBaseSquare
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationOrdinaryComparisonComputation
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationOrdinaryGenericGalois
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationOrdinaryResidueFundamentalGroup
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationOrdinaryResidueSquare
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationSpecializationFiber
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationSpecializationResidueAction
- Nyll.EtaleFundamentalGroups.StrictHenselian.NormalizationStrictResidueAction
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalLocalGaloisDiagram
- Nyll.EtaleFundamentalGroups.StrictHenselian.OriginalLocalHenselizationDiagram
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkPuncture
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkPuncturedSections
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkUnibranchDomain
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkTensorLocal
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkTensorClosedFiber
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkUnibranchIrreducible
- Nyll.EtaleFundamentalGroups.StrictHenselian.GeometricStalkUnibranchCriterion
Imported by1
This module has no indexed declarations. Its imports and full source are available here.