Skip to content

Exclude Type A rank-137 productive root splits (0% κ change) - #7316

Open
ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-rank137-productive-root-bound
Open

ToikY wants to merge 3 commits into
CrocSwap:mainfrom
ToikY:codex/p104-rank137-productive-root-bound

Commits

  1. Commits on Nov 11, 2026