Registry · Theorem
II.T33
established
formalized
II.T33 — Holomorphic iff Idempotent-Supported
A tau-holomorphic function is holomorphic if and only if it is idempotent-supported: the bipolar projections e_+f and e_-f have canonically split spectral support on B-channel and C-channel primes respectively. Proved via the three-lemma chain (II.L08-L10).
Book II
Part 7
Ch. 38