All.lean
Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.All
0 declarations indexed from sourceView source ↗
Module documentation
Canonical aggregate for EtaleFundamentalGroups.TameRamification.Abhyankar.Inertia.
Imports7
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.FieldCompositum
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.FieldTower
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.IdealCompositum
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.IdealLocalization
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.IdealResidueComparison
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.IdealTower
- Nyll.SchemeTheory.AbhyankarLemma.Geometry.Inertia.TrivialImpliesUnramified
Imported by1
This module has no indexed declarations. Its imports and full source are available here.