Registry · Theorem V.T97 tau-effective formalized

V.T97 — Bullet Cluster Without Dark Matter

The Bullet Cluster lensing-gas offset is explained by boundary holonomy mass: total gravitational mass = particle mass M_p + boundary holonomy mass M_partial. Galaxies carry M_partial collisionlessly through the merger while gas (M_p) is stripped by ram pressure.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (3)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.BulletClusterWithoutDarkMatter