Registry · Definition I.D86 established formalized

I.D86 — Elliptic-Hyperbolic Dichotomy

The elliptic-hyperbolic dichotomy: TauComplex (i^2=-1, field, no zero divisors) versus SplitComplex (j^2=+1, ring, zero divisors). Both are algebraically earned; they coexist as complementary structures within tau.

Book I Part 17 Ch. 77

Dependency Graph

Depends on (2)

I.D85 I.D27

Depended on by (3)

II.D68 II.D69 II.R23

Lean Formalization

Module: TauLib.BookI.Boundary.ComplexField

Symbol: Tau.Boundary.elliptic_hyperbolic_dichotomy