Registry · Definition III.D06 tau-effective formalized

III.D06 — E₀ Layer (Mathematics)

E₀ = (Obj(τ) with NF addressing, NF-addressability, peel map Φ(x) = (A,B,C,D), holomorphic structure O(τ³)). Domain: Books I-III. The entire kernel of the τ framework.

Book III Part 1 Ch. 5

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookIII.Enrichment.LayerTemplate

Symbol: e0_layer