Conjecture relation graph

190 relations between 258 conjectures (93 connected components). Arrows read "source true ⇒ target true". Drag to pan, scroll to zoom, drag nodes to untangle; click a node to open its page, click an edge for the referee argument. Relations were confirmed by adversarial AI review, not formally verified (no Rocq/Lean) — see RELATIONS.md.