Registry · Theorem IV.T238 tau-effective not_formalized IV.T238 — Bohr Radius The Bohr radius of hydrogen is: equation a_0 = m_e c Book IV Part 1 Ch. 12