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

RUN-047

RUN-047 — The derived theorem before and after the referee, compared