Registry · Remark V.R322 tau-effective not_applicable

V.R322 — 71 = p_20 Structural Echo

The denominator 71 is the 20th prime (p_20), creating the correspondence Y_p = 20/81, n/p = 10/p_20.

Book V Part 6 Ch. 48

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.HeliumFraction