All.lean
Nyll.ClassFieldTheory.LocalClassFieldTheory.ClassFormation.LocalBlocks.Family.All
0 declarations indexed from sourceView source ↗
Module documentation
Finite families of local idele blocks
Public facade for the canonical family instances and the degree-zero and degree-minus-one Herbrand equivalences.
Imports3
This module has no indexed declarations. Its imports and full source are available here.