Registry · Theorem V.T98 tau-effective formalized

V.T98 — Cosmic Web from Holonomy Loops

The large-scale structure at scales L > 10 Mpc is isomorphic to the Wilson skeleton W(L) of the base tau^1: galaxy clusters correspond to nodes, filaments to edges (holonomy loop segments), and voids to enclosed regions of the skeleton.

Book V Part 5 Ch. 43

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.BulletClusterLSS

Symbol: Tau.BookV.Astrophysics.CosmicWebFromHolonomyLoops