Registry · Definition V.D31 tau-effective formalized

V.D31 — Hubble Readout Parameter

The Hubble readout parameter H(n) := (1/a(n)) * (a(n+1) - a(n))/ell(Delta_n) = (q_{n+1} - 1)/ell(Delta_n) is the logarithmic rate of change of the readout expansion at depth n, where q_{n+1} is the (n+1)-th prime. At the current depth n_*, H(n_*) = H_0.

Book V Part 1 Ch. 7

Dependency Graph

Depended on by (10)

Lean Formalization

Module: TauLib.BookV.Temporal.MacroReadout

Symbol: Tau.BookV.Temporal.HubbleReadoutParameter