Registry · Proposition V.P85 tau-effective formalized

V.P85 — Filament Scaling Relation

The topological lensing contribution from a cosmic-web filament of length L_f and linear mass density mu_f scales as Delta theta_top ~ kappa_tau G mu_f L_f / (c^2 b_perp) ~ (1-iota_tau) iota_tau^2 mu_f L_f / (hbar b_perp), conjectural pending numerical evaluation.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.FilamentScalingRelation