Registry · Theorem V.T312 conjectural not_formalized V.T312 — Fiber suppression factor Ledger restatement: fiber suppression factor s=1/3 (V.T243) Book V Part 7 Ch. 62