All.lean
Nyll.EtaleFundamentalGroups.Normalization.All
0 declarations indexed from sourceView source ↗
Module documentation
Normalization infrastructure
Integral closures, normalization primes, localization comparisons, and product factors.
Canonical aggregate for EtaleFundamentalGroups.Normalization.
Imports30
- Nyll.EtaleFundamentalGroups.Normalization.Branch.All
- Nyll.EtaleFundamentalGroups.Normalization.EtaleDominantQuotient
- Nyll.EtaleFundamentalGroups.Normalization.FiniteEtaleGenericFiber
- Nyll.EtaleFundamentalGroups.Normalization.GenericExtensionFiber
- Nyll.EtaleFundamentalGroups.Normalization.GenericFiber
- Nyll.EtaleFundamentalGroups.Normalization.GenericFieldSource
- Nyll.EtaleFundamentalGroups.Normalization.IntegralClosure.All
- Nyll.EtaleFundamentalGroups.Normalization.Localization.All
- Nyll.EtaleFundamentalGroups.Normalization.Primes.All
- Nyll.EtaleFundamentalGroups.Normalization.Products.All
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedNormalBase
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedNormalization
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedFiberDegree
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedSubfield
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedGeometricInertia
- Nyll.EtaleFundamentalGroups.Normalization.GenericNormalizationChartAction
- Nyll.EtaleFundamentalGroups.Normalization.AffineInertiaCriterion
- Nyll.EtaleFundamentalGroups.Normalization.FiniteFractionFieldModel
- Nyll.EtaleFundamentalGroups.Normalization.FiniteNormalModelNeighborhood
- Nyll.EtaleFundamentalGroups.Normalization.FiniteNormalizationLocalCriterion
- Nyll.EtaleFundamentalGroups.Normalization.LocalUnramifiedCriterion
- Nyll.EtaleFundamentalGroups.Normalization.GlobalLocalUnramifiedCriterion
- Nyll.EtaleFundamentalGroups.Normalization.FieldSourceNormalization
- Nyll.EtaleFundamentalGroups.Normalization.AffineUnramifiedSubfield
- Nyll.EtaleFundamentalGroups.Normalization.NormalLocalFiberDegree
- Nyll.EtaleFundamentalGroups.Normalization.FiberDegreeCriterion
- Nyll.EtaleFundamentalGroups.Normalization.GlobalFiberDegreeCriterion
- Nyll.EtaleFundamentalGroups.Normalization.UnramifiedCriteria
- Nyll.EtaleFundamentalGroups.Normalization.GenericFieldSourceNaturality
- Nyll.EtaleFundamentalGroups.Normalization.FiniteNormalFieldSource
Imported by1
This module has no indexed declarations. Its imports and full source are available here.