Registry · Theorem IV.T73 tau-effective formalized

IV.T73 — τ-Gap Meta-Theorem (III.T26)

The tau-Gap Meta-Theorem (instantiating III.T26): for any tau-holonomy sector satisfying (KH-1)-(KH-3), the omega-vacuum exists by projective limit, the omega-gap quantum exists with positive spectral weight delta_S > 0, and the gap is non-decreasing along the tower.

Book IV Part 5 Ch. 40

Dependency Graph

Depends on (1)

Depended on by (5)

Lean Formalization

Module: TauLib.BookIV.Strong.GapMetaTheorem

Symbol: Tau.BookIV.Strong.GapMetatheoremIiit26