All.lean
Nyll.ClassFieldTheory.GlobalClassFieldTheory.GlobalClassFields.ClosedFiniteIndexClassFieldReciprocity.Algebraic.All
0 declarations indexed from sourceView source ↗
Module documentation
Algebraic reciprocity for a closed finite-index class field
This facade exports the underlying multiplicative equivalence of the already compiled topological reciprocity provider and its evaluation formula.
Imports2
This module has no indexed declarations. Its imports and full source are available here.