Registry · Theorem V.T275 tau-effective not_formalized

V.T275 — Scalar Amplitude from alpha_tau Inheritance

A_s = alpha_tau * iota_tau^14 * (1 - iota_tau^3/3) = 2.096e-9, at -1979 ppm from Planck. Coefficient (121/225) = (11/15)^2 inherited from fine-structure constant chain. NLO factor is tau^3-volume averaging.

Book V Part 6 Ch. 47

Dependency Graph

Depends on (1)

Lean Formalization

Module:

Symbol: