Registry · Definition V.D300 conjectural formalized

V.D300 — τ-Native Transfer Function

Transfer function T(k) from τ-native inputs: k_eq≈0.010 h/Mpc (horizon at matter-radiation equality), R_b≈0.615 (baryon-photon ratio), k_D≈0.10 Mpc⁻¹ (Silk damping). P(k)=A_s·(k/k₀)^(n_s−1)·T²(k).

Book V Part 5 Ch. 43

Dependency Graph

Depends on (3)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.TauTransferFunction