Registry · Theorem V.T161 tau-effective formalized

V.T161 — The Hermetic Closure

5-sector structure from iota_tau produces necessary conditions for observers: periodic table, nuclei, chemistry, planets, mass.

Book V Part 8 Ch. 74

Dependency Graph

Depends on (2)

I.D34 IV.D04

Lean Formalization

Module: TauLib.BookV.Coda.HermeticClosure

Symbol: Tau.BookV.Coda.hermetic_closure_thm