Registry · Definition I.D45 tau-effective formalized

I.D45 — Omega-Germ Transformer

An omega-germ transformer maps omega-tails to sector-pair values. Carries both a SectorFun (D-holomorphic structure) and a StageFun (stagewise evaluation for tower coherence).

Book I Part 13 Ch. 50

Dependency Graph

Depends on (2)

I.D25 I.D42

Depended on by (2)

I.D46 I.D47

Lean Formalization

Module: TauLib.BookI.Holomorphy.TauHolomorphic

Symbol: Tau.Holomorphy.GermTransformer