Registry · Remark V.R175 tau-effective not_applicable

V.R175 — MOND as approximation theorem

MOND is an approximation theorem in the tau-framework: the capacity gradient correction in the regime g < a_0 can be well approximated by the MOND interpolation with universal scale a_0, analogous to post-Newtonian gravity working in the solar system.

Book V Part 5 Ch. 37

Dependency Graph

Depended on by (1)

Lean Formalization

Module: