Registry · Definition VII.D41 tau-effective formalized

VII.D41 — ω-Uniqueness Principle

Terminal coherence point ω is unique; local infinities cannot compete with the terminal object.

Book VII Part 2 Ch. 32

Dependency Graph

Depended on by (1)

VII.T16

Lean Formalization

Module: TauLib.BookVII.Meta.Registers

Symbol: Tau.BookVII.Meta.Registers.OmegaUniquenessPrinciple