Registry · Definition IV.D81 tau-effective formalized

IV.D81 — Temporal Direction

The temporal direction on τ¹ is the direction of increasing refinement in the ultrametric tower: coarse → fine. Structural, not conventional.

Book IV Part 3 Ch. 22

Dependency Graph

Depended on by (2)

Lean Formalization

Module: TauLib.BookIV.QuantumMechanics.EnergyEntropy

Symbol: Tau.BookIV.QuantumMechanics.TemporalDirection