Registry · Theorem V.T321 tau-effective not_formalized V.T321 — Dark energy density parameter --- recap of V.T234 Ledger restatement: Omega_Lambda=0.685 (V.T234) Book V Part 7 Ch. 63