Registry · Theorem VII.T45 tau-effective formalized

VII.T45 — Logos Sector Uniqueness

Logos sector is unique up to natural isomorphism in 4+1 decomposition; terminal object in category of sectors with coincidence property.

Book VII Part 10 Ch. 119

Dependency Graph

Depends on (1)

VII.D01

Lean Formalization

Module: TauLib.BookVII.Logos.Sector

Symbol: Tau.BookVII.Logos.Sector.logos_characterization