Registry · Definition II.D04 established formalized

II.D04 — Omega Readout

The map Phi_omega that assigns to each path approaching omega its base limit and its fiber limit on L. Extracts the B/C fiber dominance from paths of unbounded primorial depth.

Book II Part 1 Ch. 5

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookII.Interior.OmegaReadout

Symbol: Tau.BookII.Interior.FiberDominance