Registry · Remark IV.R213 tau-effective formalized

IV.R213 — CR-structure

The four real dimensions of tau^3 admit a Cauchy-Riemann reading: base coordinates (D,A) behave as one complex coordinate (multiplicative holomorphic extension) and fiber coordinates (B,C) as another (exponent/tetration holomorphic extension), giving 4 real ~ 2 complex ~ 1 CR structure.

Book IV Part 1 Ch. 4

Lean Formalization

Module: TauLib.BookIV.Arena.Tau3Arena

Symbol: Tau.BookIV.Arena.Crstructure