Prove a pivot-policy swap floor for the pivoted BIT fallback: at least 385 of 505 boundary children remain (no new κ) - #4245

Prove a pivot-policy swap floor for the pivoted BIT fallback: at least 385 of 505 boundary children remain (no new κ)#4245

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w7-1020d-pivot-policy-floorpetalas/integer-mult-bounds:research/w7-1020d-pivot-policy-floorCopy head branch name to clipboard