Skip to content

Scoped negative result: PR589's bit word is exactly transport-locally optimal (no new kappa) - #1345

Open
hipotures wants to merge 2 commits into
CrocSwap:mainfrom
hipotures:bit589-transport-atlas
Open

hipotures wants to merge 2 commits into
CrocSwap:mainfrom
hipotures:bit589-transport-atlas

Add attribution header and correct simultaneity wording in atlas docs…

b54a856
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
ranked-pair-finite
succeeded Oct 14, 2026 in 36s