All.lean
Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.Galois.All
0 declarations indexed from sourceView source ↗
Module documentation
Galois local-field norms and ramification
This aggregate collects norm-down calculations, primitive and least common multiple cases, and Galois ramification over nonarchimedean local fields.
Imports4
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.Galois.NormDown
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.Galois.NormDownLcm
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.Galois.NormDownPrimitive
- Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.NonarchimedeanLocalField.Galois.Ramification.All
This module has no indexed declarations. Its imports and full source are available here.