Registry · Theorem V.T159 established formalized

V.T159 — The Hermetic Identity

H_partial[omega] decomposes as base otimes_cross fiber; iota_tau appears identically in both factors.

Book V Part 8 Ch. 74

Dependency Graph

Depends on (5)

I.D01 I.D34 II.T40 IV.D05 V.T54

Lean Formalization

Module: TauLib.BookV.Coda.HermeticClosure

Symbol: Tau.BookV.Coda.hermetic_identity_thm