Registry · Definition IV.D287 tau-effective formalized

IV.D287 — Five Relational Units

The five relational units are: M = m_n (mass), L = (pi/2)*r_n (length), H = R*f_e (frequency), Q = e (charge), R = m_n/m_e (spectral ratio). They form the natural coordinate system of the E1 enrichment layer, from which all other constants are derived.

Book IV Part 2 Ch. 11

Lean Formalization

Module: TauLib.BookIV.Calibration.DimensionlessAlpha

Symbol: Tau.BookIV.Calibration.FiveRelationalUnits