Registry · Theorem V.T213 tau-effective skeleton

V.T213 — Quantitative Bullet Cluster Mass Prediction

Quantitative Bullet Cluster mass: M_p ≈ 1.5×10¹⁴ M☉ → M_eff = 6.65·M_p ≈ 10¹⁵ M☉. Einstein radius θ_E ≈ 74 arcsec (z_S = 1). Observed total mass (0.7–1.5)×10¹⁵ M☉ (Clowe et al. 2006), consistent. Five-cluster catalog: Bullet, Abell 1689 (θ_E=113), Abell 2744 (63), El Gordo (53), MACS J0025 (39).

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (2)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.quantitativeBulletCluster