Registry · Theorem V.T323 conjectural not_formalized V.T323 — Hubble parameter from tau --- recap of V.T196 Ledger restatement: H_0 from tau (V.T196) Book V Part 7 Ch. 63