Registry · Theorem V.T322 conjectural not_formalized V.T322 — No phantom crossing --- recap of V.T235 Ledger restatement: no phantom crossing (V.T235) Book V Part 7 Ch. 63