Registry · Theorem V.T318 tau-effective not_formalized

V.T318 — Master rotation curve formula --- recap of V.T85

Ledger restatement: master rotation curve formula (V.T85)

Book V Part 7 Ch. 63

Dependency Graph

Depends on (8)

I.D34 V.D232 V.D257 V.D258 V.D31 V.T163 V.T164 V.T85