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

RUN-069

RUN-069 — P5 v1.3: the finite Bockstein determinant computed in the truncated group ring, the ratio "3" shown to take every value in `F₁₁^×` under a change of primitive roots alone, Kim's hypotheses verified where they are computable — and the last of the 85 documents becomes a round's subject