Registry · Theorem V.T319 tau-effective not_formalized V.T319 — Holonomy ratio unification --- recap of V.T200 Ledger restatement: holonomy ratio unification (V.T200) Book V Part 7 Ch. 63