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)

I.D20 I.D14

Depended on by (6)

I.T06 I.X02 II.D59 II.L09 II.L10 II.P13

Lean Formalization

Module: TauLib.BookI.Holomorphy.TauHolomorphic

Symbol: Tau.Holomorphy.HolFun