Registry · Theorem IV.T124 tau-effective formalized

IV.T124 — The sqrt3

The sqrt(3) Triad Theorem: sqrt(3) = |1 - omega| (omega = e^{2pi i/3}) enters three independent predictions -- the Level 0 mass ratio correction sqrt(3) iota_tau^{-2}, the proton-neutron mass difference delta_A/m_n ~ (sqrt(3)/2) iota_tau^6, and the gravitational closing identity's bi-rotation coupling.

Book IV Part 4 Ch. 35

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookIV.Electroweak.EWSynthesis

Symbol: Tau.BookIV.Electroweak.TheSqrt3