Registry · Theorem V.T211 tau-effective skeleton

V.T211 — Distance Modulus from τ-Native Parameters

Distance modulus μ(z) = 5·log₁₀(d_L/10pc) from τ-native parameters matches Pantheon+ SN Ia data to <0.5 mag at all z ≤ 2.3. The τ-native and Planck-ΛCDM distance moduli differ by at most Δμ ≈ 0.001 mag (310 ppm in d_L).

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.distanceModulusTauNative