Registry · Definition II.D72 established formalized

II.D72 — The Rewiring Table

Twelve-level structural comparison between orthodox complex analysis (i^2 = -1) and tau-holomorphy (j^2 = +1). Levels: scalar algebra, holomorphy PDE, boundary-interior, infinity, cardinality, topology, geometry, compactness, idempotents, Liouville, gluing, spectrum.

Book II Part 11 Ch. 61

Dependency Graph

Depends on (17)

I.T05 I.T10 I.D18 I.D21 I.T31 II.T06 II.T19 II.T25 II.T27 II.T30 II.T32 II.T39 II.T40 II.D21 II.D22 II.D35 II.D60

Depended on by (1)

II.D73

Lean Formalization

Module: TauLib.BookII.Mirror.Inventory

Symbol: full_rewiring_table