Registry · Definition V.D270 tau-effective skeleton

V.D270 — τ-Native Angular Diameter Distance

τ-native angular diameter distance: d_A(z) = d_L(z)/(1+z)² (Etherington reciprocity). At z=1100: d_A ≈ 12.6 Mpc, consistent with CMB angular scale. Etherington reciprocity verified to machine precision.

Book V Part 6 Ch. 56

Dependency Graph

Depends on (1)

Depended on by (3)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.tauAngularDiameterDistance