Registry · Proposition V.P68 tau-effective formalized

V.P68 — MOND as Capacity Proxy --- V.P32

The MOND interpolation function mu is an effective description of the classical-to-galactic regime transition, with acceleration scale a_0 ~ c^2/(2 ell_tau) serving as a proxy for the inverse tau-scale length.

Book V Part 5 Ch. 37

Dependency Graph

Depends on (1)

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.MondAsCapacityProxyVp32