All.lean
Nyll.Yamaguchi26AbfaithfulGalois.HigherLocalField.All
0 declarations indexed from sourceView source ↗
Module documentation
Higher local fields and abelian faithfulness
This aggregate collects the definition, positive-characteristic theory, and properties of higher local fields used in abelian-faithfulness results.
Imports3
Imported by1
This module has no indexed declarations. Its imports and full source are available here.