Skip to content

Mixed transposition targets cost three calls each when components have at most three coordinates (no new κ) - #4968

Merged
Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jwr404:research/swap-component-cut
Oct 23, 2026
Merged

Mister-Meeseeks merged 3 commits into
CrocSwap:mainfrom
jwr404:research/swap-component-cut

Point the open question at #4974's single-target support lemma

e7d050e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view