Registry · Proposition IV.P09 tau-effective formalized

IV.P09 — Integrability of τ³ CR-Structure

The CR-structure (H, J, ν) on τ³ is integrable. Follows from the torus fiber T² carrying a globally flat complex structure: coordinate vector fields commute and N_J vanishes identically on H.

Book IV Part 3 Ch. 16

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.CRAddressSpace

Symbol: Tau.BookIV.QuantumMechanics.IntegrabilityOfCrstructure