All.lean
Nyll.ClassFieldTheory.RamificationTheory.All
0 declarations indexed from sourceView source ↗
Module documentation
Ramification theory
Public root for reusable finite and profinite ramification infrastructure. It is downstream of ValuationTheory and LocalFieldTheory and upstream of local class field theory.
Imported by1
This module has no indexed declarations. Its imports and full source are available here.