`OAI/NumberTheory/DirichletL/Reciprocity/`

332 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

CubeCorrespondence.lean 54 declarations
CubicJacobi.lean 71 declarations
KubotaCharacter.lean 66 declarations
PrimaryCongruences.lean 44 declarations
RamifiedCuspPhases.lean 48 declarations
RamifiedSymbol.lean 49 declarations