All.lean
Nyll.SchemeTheory.AbhyankarLemma.TameRamification.ValuedExtension.All
0 declarations indexed from sourceView source ↗
Module documentation
Valued extensions in tame ramification
This aggregate collects canonical valued extensions, their residue characteristic, and tower constructions.
Imports3
This module has no indexed declarations. Its imports and full source are available here.