All.lean
Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.All
0 declarations indexed from sourceView source ↗
Module documentation
Ramification groups of valuation subrings
Focused aggregate for valuation-subring actions and their ramification groups.
Imports4
- Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.Dedekind.All
- Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.PadicCyclotomicInertiaBound
- Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.PadicCyclotomicRamificationIndexBound
- Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.PadicLocalizationCanonicalValuation
Imported by1
This module has no indexed declarations. Its imports and full source are available here.