All.lean
Nyll.AnabelianGeometry.GeometricFundamentalGroup.All
0 declarations indexed from sourceView source ↗
Module documentation
Geometric fundamental groups and their presentations.
Imports48
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalOneBranch
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalTwoBranches
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.GenusZeroParameter
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalKummer
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalCyclicGalois
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.CurveCoverRamification
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalEtaleFunctionField
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalEtaleIsomorphism
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalConnectedEtale
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalFundamentalGroup
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.GenusZeroFundamentalGroup
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.ProperGenusZero
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.NormalizationRamification
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.AffineNormalizationRamification
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.AffineLineEtaleAlgebra
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.AffineLineFundamentalGroup
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalPuncturedChart
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.GenusZeroPunctured
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.OnePunctureGenusZero
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.RationalTwoPuncturedChart
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.GenusZeroTwoPunctures
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.TwoPuncturesGenusZero
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentNormalizationRamification
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentEtaleGenericGalois
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentEtaleAutomorphisms
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentCoverAutomorphisms
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentFundamentalGroupQuotients
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.TwoPuncturesProcyclic
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerAlgebra
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerFiber
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerGeometricFiber
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerArithmeticFiber
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerArithmeticAction
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerFiberGalois
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerSplittingField
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.FiberActionComparison
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentKummerCovers
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentQuotientsEveryOrder
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.LaurentProfiniteIntegers
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.TwoPuncturesFundamentalGroup
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.ProperCurveH1Deck
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.ProperCurveSlim
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.ProperDeckFaithfulness
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.ProperIntermediateH1
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.OpenCurveH1Deck
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.OpenIntermediateH1
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.OpenDeckFaithfulness
- Nyll.AnabelianGeometry.GeometricFundamentalGroup.OpenCurveSlim
Imported by1
This module has no indexed declarations. Its imports and full source are available here.