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

RUN-020

RUN-020 — P5's explicit local-unit cancellation recomputed, and the basis-dependence its §6 does not separate