Registry · Proposition III.P17 tau-effective formalized

III.P17 — Gap Stabilization

The gap constant Γ* converges (stabilizes) as primorial depth increases, by tower coherence. Computable at each finite level.

Book III Part 5 Ch. 39

Dependency Graph

Depends on (2)

III.D45 III.T09

Lean Formalization

Module: TauLib.BookIII.Physics.GapTheorem

Symbol: mass_existence_check