Library
ValuedFieldTheory
A Lean 4 library for valued fields, valuations, nonarchimedean local fields, and ramification theory.
Library areas
- All (1 file).
- LocalField (163 files).
- Ramification (87 files).
- Valuation (105 files).
A Lean 4 library for valued fields, valuations, nonarchimedean local fields, and ramification theory.