Registry · Theorem III.T05 tau-effective formalized

III.T05 — Sector Preservation Theorem

The boundary-to-interior functor Φ preserves the bipolar decomposition: χ₊-characters map to B-sector holomorphic functions, χ₋-characters map to C-sector, mixed characters map to the ω-coupling sector. The 4+1 decomposition is a THEOREM, not a definition.

Book III Part 2 Ch. 9

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookIII.Sectors.Decomposition

Symbol: sector_preservation_5_3