Prove two-helper shears gain nothing from target feedback at any target count (no new κ) - #6034

Prove two-helper shears gain nothing from target feedback at any target count (no new κ)#6034

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

petalas:research/w13-1022ai-two-helper-feedbackpetalas/integer-mult-bounds:research/w13-1022ai-two-helper-feedbackCopy head branch name to clipboard