Registry · Theorem II.T25 established formalized

II.T25 — Master Constant Confirmed

Geometric confirmation that iota_tau = 2/(pi + e) is the unique coupling between the earned angular constant pi (II.T22) and the earned growth constant e (II.T23). It mediates between B/C channels and bridges ultrametric refinement to Archimedean resolution.

Book II Part 5 Ch. 28

Dependency Graph

Depends on (3)

Depended on by (6)

Lean Formalization

Module: TauLib.BookII.Transcendentals.IotaTauConfirmed

Symbol: iota_confirmed_check