This page displays a downstream SI readout route and preserves source-vintage comparison status.
L3τ-effectivereadyrendered diagram
Boundary.
This page displays a downstream SI readout route and preserves source-vintage comparison status.
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
ccompton · λ_C
Formula
λ_C = ℏ/(m_e c)
TeX
\lambda_C = \hbar/(m_e c)
Plain-text fallback
lambda_C = hbar / (m_e * c)
Unit context
si_readout
Dependency Diagram
Directed dependency cascade for λ_C 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).