All.lean
Nyll.Yamaguchi26SolvableCoverings.Geometry.All
0 declarations indexed from sourceView source ↗
Module documentation
Geometry of solvable coverings across horizontal divisors
Imports17
- Nyll.Yamaguchi26SolvableCoverings.Geometry.Boundary
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryAbelianizationPullback
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryBranchGeometricPoint
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryInertia
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryExtension
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryLocalFixedPoint
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryLocalEtale
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryLocalNormalizationEtale
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryCyclotomic
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryHeightOneEtale
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStalkComponentHeightOne
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStalkNormalizationEtale
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryUnramifiedExtension
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStrictLocalModel
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStrictImage
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStrictInertia
- Nyll.Yamaguchi26SolvableCoverings.Geometry.BoundaryStrictExtension
Imported by1
This module has no indexed declarations. Its imports and full source are available here.