Registry · Theorem V.T50 tau-effective formalized

V.T50 — Complete Dimensional Bridge

The complete dimensional bridge consists of: one experimental input (m_n^SI), one derived constant (iota_tau = 2/(pi+e)), six derived fundamental constants (c, hbar, G, k_e, epsilon_0, mu_0 as functions of iota_tau times powers of m_n^SI), and all particle masses and coupling constants.

Book V Part 2 Ch. 19

Dependency Graph

Depends on (3)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.GravityField.CalibrationTriangle

Symbol: Tau.BookV.GravityField.CompleteDimensionalBridge