This page uses Bohr radius notation a_B and avoids ambiguous zero-subscript radius notation.
L3τ-effectivereadyrendered diagram
Boundary.
This page uses Bohr radius notation a_B and avoids ambiguous zero-subscript radius notation.
This page does not recompute CODATA 2022 values or change the existing numerical prediction artifact.
Scope label.τ-effective means internal τ-derived or τ-effective construction/readout. Metadata keeps the stable value tau_effective.
Generated constant/readout inspection page from the Corpus Calibration Cascade projection.
Dependency summary: α, m_e, ℏ, c
cbohr · a_B
Formula
a_B = ℏ/(α m_e c)
TeX
a_B = \hbar/(\alpha m_e c)
Plain-text fallback
a_B = hbar / (alpha * m_e * c)
Unit context
si_readout
Dependency Diagram
Directed dependency cascade for a_B from the Calibration Cascade metadata.Mermaid sourcetext equivalent
Search across Corpus, TauLib, Monographs, Research Notes, and Errata.
Try a result name (Hubble tension), a doctrine term
(τ-totality), or a Lean theorem ID
(Theorem 3.2.4).