← AMRAL · BSD 猜想 · 二 · 計算與重現 · RUN-015

RUN-015

RUN-015 — Theorem 1.1(2) tested, and one of 𝒫's three conditions is implied by the other two