Registry · Proposition IV.P02 tau-effective formalized

IV.P02 — α Numerical Range

α_spectral is in the range (7200, 7400)/10⁶, bracketing the experimental value α ≈ 7297.35/10⁶. Equivalently, 1/α is between 135 and 139, bracketing the experimental 137.036.

Book IV Part 1 Ch. 2

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookIV.Sectors.FineStructure

Symbol: Tau.BookIV.Sectors.alpha_in_range