Registry · Definition II.D38 established formalized

II.D38 — Causal Arrow

The preferred direction in the primorial tower selected by B/C asymmetry: stage n+1 is in the causal future of stage n, and the B-channel precedes the C-channel.

Book II Part 6 Ch. 32

Dependency Graph

Depends on (4)

I.T05 I.D21 II.D37 II.D22

Depended on by (1)

II.T28

Lean Formalization

Module: TauLib.BookII.Hartogs.EvolutionOperator

Symbol: Tau.BookII.Hartogs.causal_arrow