Registry · Definition V.D272 tau-effective skeleton

V.D272 — Einstein Radius from Boundary Holonomy

Einstein radius with boundary holonomy mass: θ_E² = 4G·M_eff/(c²) · d_LS/(d_L·d_S) where M_eff = M_p + M_∂. Enhancement factor √(M_eff/M_p) ≤ √6.65 ≈ 2.58 (saturated when full boundary holonomy enclosed). At galaxy scale (SLACS), M_eff/M_p ~ 2-3 within θ_E. At cluster scale, M_eff/M_p → 6.65.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (4)

Lean Formalization

Module: TauLib.BookV.Cosmology.CMBSpectrum

Symbol: Tau.BookV.Cosmology.einsteinRadiusBoundaryHolonomy