Registry · Definition III.D63 tau-effective formalized

III.D63 — Automorphic-Galois Duality in τ

Bidirectional correspondence between m-axis (Galois/prime) and n-axis (automorphic/spectral) data on ℤ²

Book III Part 6 Ch. 48

Dependency Graph

Depends on (2)

III.D57 III.T23

Depended on by (3)

III.D64 III.P28 III.T36

Lean Formalization

Module: TauLib.BookIII.Arithmetic.Langlands

Symbol: ag_duality_check