Registry · Theorem V.T305 conjectural not_formalized V.T305 — Silk damping scale from holonomy ratio Ledger restatement: Silk damping scale from holonomy ratio (V.D254) Book V Part 7 Ch. 62