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.