Registry · Proposition V.P192 conjectural formalized

V.P192 — External Computation Requirements for v(r)

Resolving V.OP4 requires: modified Poisson solver on galaxy grids with τ-Einstein source, mesh ≤100 pc, verification v(r) matches V.T85 deep regime and recovers Newtonian inner regime. Standard numerical relativity calculation.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (2)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.ExternalComputationReqs