Registry · Definition I.D22 tau-effective formalized

I.D22 — Holomorphic Transformers

KEY 3: omega-germ transformers as pre-categorical morphisms on the lemniscate boundary. HolFun, HolMap. Split-complex holomorphy gives tau full analytic structure.

Book I Part 13

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookI.Holomorphy.TauHolomorphic

Symbol: Tau.Holomorphy.HolFun