Registry · Definition I.D47 tau-effective formalized

I.D47 — Tau-Holomorphic Function

A tau-holomorphic function (HolFun) = D-holomorphic + tower-coherent germ transformer. The D-holomorphic condition is structural (SectorFun); tower coherence is the additional rigidity constraint.

Book I Part 13 Ch. 50

Dependency Graph

Depends on (2)

I.D45 I.D46

Depended on by (13)

I.D48 I.D49 I.D50 I.D65 I.D66 I.D68 I.P23 I.T19 I.T20 I.T21 I.T40 II.L01 II.T06

Lean Formalization

Module: TauLib.BookI.Holomorphy.TauHolomorphic

Symbol: Tau.Holomorphy.HolFun