← AMRAL · BSD Conjecture · Layer 2 · Recomputation · RUN-018

RUN-018

RUN-018 — the two-witness criterion's density formula, and where RUN-015's redundancy came from