Registry · Definition V.D274 conjectural skeleton

V.D274 — τ-Native Convergence Power Spectrum

Convergence power spectrum P_κ(ℓ) via Limber integral with τ-native matter power spectrum. Boundary holonomy mass plays CDM role → P_κ(ℓ) agrees with ΛCDM for same Ω_m = 0.315. Compatible with DES Y3 and KiDS-1000 measurements.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.convergencePowerSpectrum