Skip to content

Prove one F8 nullity-7 paired-star class has rank sum at least 8. - #7028

Open
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/paired-star-f8-nullity7-eb10
Open

Prove one F8 nullity-7 paired-star class has rank sum at least 8.#7028
unpaidmoon wants to merge 1 commit into
CrocSwap:mainfrom
unpaidmoon:cursor/paired-star-f8-nullity7-eb10

Commits

  1. Commits on Nov 10, 2026