Registry · Lemma VII.L40 tau-effective formalized

VII.L40 — Legitimacy Sheaf Connection

Legitimacy coherence condition = sheaf gluing on recognition sections, via VII.T31 CI-Sheaf Equivalence.

Book VII Part 8 Ch. 104

Dependency Graph

Depends on (2)

VII.P25 VII.T31

Lean Formalization

Module: TauLib.BookVII.Social.Ontology

Symbol: Tau.BookVII.Social.Ontology.legitimacy_sheaf_connection