Registry · Definition IV.D327 tau-effective formalized

IV.D327 — Readout Anchor

The single empirical input to R_mu: neutron mass m_n measured via Penning trap cyclotron frequency ratio. All other SI values are derived from m_n + internal structure + 4 exact SI constants.

Book IV Part 2 Ch. 12

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookIV.Physics.ReadoutFunctor

Symbol: Tau.BookIV.Physics.ReadoutAnchor