Registry · Definition V.D216 tau-effective planned

V.D216 — Fine-Structure Constant --- Layer 1

alpha = (121/225)*iota_tau^4 = (11/15)^2 * iota_tau^4 ~ 0.007297; deviation ~10 ppm from CODATA.

Book V Part 8 Ch. 71

Lean Formalization

Module: