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

RUN-020

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