Registry · Definition I.D34 tau-effective formalized

I.D34 — Master Constant iota_tau

iota_tau = 2/(pi+e) ~ 0.341304. The asymptotic B/C dominance mediator: parametrizes the split-complex decomposition and measures the asymmetry between the two lemniscate lobes. Earned from prime distribution, not imposed.

Book I Part 10 Ch. 41

Dependency Graph

Depends on (3)

Depended on by (131)

Lean Formalization

Module: TauLib.BookI.Boundary.Iota

Symbol: Tau.Boundary.iota_tau_numer