Registry · Theorem
I.T12
tau-effective
formalized
I.T12 — Spectral Decomposition
Every element of L decomposes uniquely into B-sector and C-sector components via characters. The profinite topology on Z_hat_tau provides the convergence framework.
Book I
Part 11
Ch. 44