Registry · Remark IV.R340 tau-effective formalized

IV.R340 — sqrt3

The same sqrt(3) = |1-e^{2pi i/3}| governs three distinct physical quantities: the mass ratio correction sqrt(3)*iota_tau^{-2}, the proton-neutron splitting delta_A/m_n ~ (sqrt(3)/2)*iota_tau^6, and the gravitational coupling alpha_G ~ alpha^18 * sqrt(3), forming the sqrt(3) triad.

Book IV Part 3 Ch. 23

Lean Formalization

Module: TauLib.BookIV.MassDerivation.BreathingModes

Symbol: Tau.BookIV.MassDerivation.Sqrt3