Registry · Definition II.D06 established formalized

II.D06 — Fiber T^2

The fiber of the tau^3 fibration: the two-dimensional space T^2 = {(B, C)} where B records the exponent (gamma-orbit) and C records the tetration height (eta-orbit). Carries the solenoidal coordinates.

Book II Part 1 Ch. 6

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookII.Interior.Tau3Fibration

Symbol: Tau.BookII.Interior.FiberT2