Registry · Theorem VII.T11 tau-effective formalized

VII.T11 — Coherence-Correspondence Unification

Sheaf condition simultaneously encodes local coherence and global correspondence; the two theories of truth are structurally identical.

Book VII Part 2 Ch. 19

Dependency Graph

Depends on (1)

VII.D27

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.coherence_correspondence_unification