Registry · Definition IV.D60 tau-effective formalized

IV.D60 — Space of CR-Functions

CR(τ³) = {f: τ³ → C | ∂̄_b f = 0}. Physical states satisfying the holomorphic constraint coupling fiber T² and base τ¹.

Book IV Part 3 Ch. 18

Dependency Graph

Depends on (2)

IV.D50 IV.D54

Depended on by (5)

IV.D61 IV.D62 IV.D65 IV.P16 IV.P22

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.HilbertSpace

Symbol: Tau.BookIV.QuantumMechanics.SpaceOfCrfunctions