Registry · Definition I.D01 established formalized

I.D01 — Five Generators

The five generators {alpha, pi, gamma, eta, omega} with canonical roles: radial seed, prime base, exponent channel, tetration channel, fixed-point absorber.

Book I Part 1 Ch. 1

Dependency Graph

Depends on (1)

I.K0

Depended on by (28)

I.D02 I.D03 I.D04 I.K1 I.K2 I.K3 I.K5 I.K6 IV.D40 IV.D46 V.C08 V.L03 V.P120 V.P199 V.P211 V.T123 V.T124 V.T126 V.T128 V.T129 V.T130 V.T131 V.T139 V.T159 V.T288 V.T289 V.T319 V.T55

Lean Formalization

Module: TauLib.BookI.Kernel.Signature

Symbol: Tau.Kernel.Generator