All.lean
Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.All
0 declarations indexed from sourceView source ↗
Module documentation
Value groups in tame ramification
This aggregate collects integer-valued and local-field value groups, norm constructions, and transport of value-group data.
Imports5
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.FieldNorm.All
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.Integer
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.All
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.Norm.All
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.Transport
This module has no indexed declarations. Its imports and full source are available here.