Registry · Remark IV.R299 tau-effective not_applicable

IV.R299 — The Segal--Bargmann precedent

Holomorphic state spaces appear in physics via Segal-Bargmann spaces of entire functions on C^n; in tau^3 the holomorphic structure is mandatory rather than optional because the CR-structure forces holomorphy, making the state space the natural function space of the arena.

Book IV Part 3 Ch. 18

Lean Formalization

Module: