Registry · Theorem V.T316 conjectural not_formalized V.T316 — Exponent 15 = 3 x W_3(4) decomposition Ledger restatement: exponent 15=3*W_3(4) decomposition (V.T179) Book V Part 7 Ch. 62