Registry · Theorem V.T212 tau-effective skeleton

V.T212 — Strong Lensing Cross-Section Enhancement

Strong lensing cross-section σ_SL ∝ θ_E² enhanced by M_eff/M_p ≤ 6.65 relative to baryonic-only prediction. Explains observed strong lensing rate without dark matter. Consistent with SLACS survey (100+ lens systems, θ_E = 0.5-2 arcsec) and cluster-scale lensing (θ_E = 30-60 arcsec for Abell 1689, Bullet Cluster, El Gordo).

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.strongLensingEnhancement