Registry · Theorem V.T124 tau-effective formalized

V.T124 — Profinite convergence

The boundary-character expansion Z_tau(alpha) = sum c_n alpha^n converges absolutely for |alpha| < 1 (and for physical alpha approx 1/137). The n-th coefficient satisfies |c_n| <= C^n for a constant C determined by the coherence kernel. Dyson's factorial-growth argument does not apply because the profinite tower has finitely many orbits at each level.

Book V Part 7 Ch. 60

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Orthodox.CorrespondenceMap

Symbol: Tau.BookV.Orthodox.ProfiniteConvergence