Registry · Theorem
II.T31
established
formalized
II.T31 — Finite Spectral Support
Every holomorphic function on tau^3 has finite spectral support at each stage: only finitely many cylinder generators contribute to the canonical basis expansion at any given primorial level.
Book II
Part 6
Ch. 35