Registry · Definition V.D262 tau-effective formalized

V.D262 — Linearized Velocity Scale

Linearized Velocity Scale: v_lin = √(GM/(2ℓ_τ)). For NGC 3198: v_lin ≈ 0.074 km/s. Gap: v_T85/v_lin ≈ 2011 (velocity), (v_T85/v_lin)⁴ = c²ℓ_τ/(2GM) ≈ 4×10¹² (v⁴). The gap is the c² cancellation theorem in action.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Depended on by (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.linearizedVelocityScale