All.lean
Nyll.ValuedFieldTheory.All
0 declarations indexed from sourceView source ↗
Module documentation
Valued field theory
Valuations, local fields and ramification theory. Covers extensions and completions, ramification filtrations, different ideals and local norm calculations.
Imports3
Imported by1
This module has no indexed declarations. Its imports and full source are available here.