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

Dependency Graph

Depends on (4)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Hartogs.CanonicalBasis

Symbol: finite_spectral_support_check