Registry · Remark V.R174 tau-effective formalized

V.R174 — What ``conjectural'' means here

The capacity gradient mechanism is tau-effective (follows from the tau-Einstein equation), but quantitative galaxy-by-galaxy rotation curve fits are conjectural because the capacity equation has not yet been solved numerically for individual galaxies.

Book V Part 5 Ch. 37

Lean Formalization

Module: TauLib.BookV.Astrophysics.RotationCurves

Symbol: Tau.BookV.Astrophysics.WhatConjecturalMeansHere