Registry · Theorem II.T28 established formalized

II.T28 — B/C Asymmetry Implies Time Arrow

The B/C asymmetry in the bipolar decomposition of the evolution operator induces a preferred causal direction in the primorial tower: 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 (8)

Lean Formalization

Module: TauLib.BookII.Hartogs.EvolutionOperator

Symbol: Tau.BookII.Hartogs.evolution_semigroup_thm