All.lean
Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValueGroup.FieldNorm.All
0 declarations indexed from sourceView source ↗
Module documentation
Field norms and value groups
This aggregate collects the common constructions and image of field norms used in the value-group theory of tame ramification.
Imports2
This module has no indexed declarations. Its imports and full source are available here.