Registry · Theorem IV.T126 tau-effective formalized

IV.T126 — Tick Exhaustion

Every tick kind is one of the five canonical kinds (exhaustion/completeness).

Book IV Part 2 Ch. 10

Dependency Graph

Depends on (1)

IV.D322

Lean Formalization

Module: TauLib.BookIV.Physics.TickUnits

Symbol: Tau.BookIV.Physics.tick_exhaustion