All.lean
Nyll.ClassFieldTheory.RamificationTheory.HilbertRamification.Dedekind.All
0 declarations indexed from sourceView source ↗
Module documentation
Dedekind-domain decomposition and inertia
Decomposition groups, inertia groups, fixed fields, and tower formulas for primes in finite Galois extensions of Dedekind domains.
Imports3
This module has no indexed declarations. Its imports and full source are available here.