Registry · Remark V.R399 tau-effective not_applicable

V.R399 — Cluster Lensing Catalog

Five-cluster Einstein radius catalog: Bullet (74"), Abell 1689 (113"), Abell 2744 (63"), El Gordo (53"), MACS J0025 (39"). All consistent with observed strong lensing reconstructions. M_eff/M_p = 6.65 universal prediction.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum